Larry Wos (wos)

Contributions to Philosophie.ch

Bibliography

Wos, Larry. 1984. Automated Reasoning: Introduction and Applications. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.
Wos, Larry. 1988. Automated Reasoning: 33 Basic Research Problems. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.
Wos, Larry and Pieper, Gail W. 1999. A Fascinating Country in the World of Computing. Your Guide to Automated Reasoning. Singapore: World Scientific Publishing Co.
Wos, Larry and Veroff, Robert. 1994. “Logical Basis for the Automation of Reasoning: Case Studies.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 1–40. Oxford: Oxford University Press.
Wos, Larry and Winker, S. 2002. “The Automation of Sound Reasoning and Successful Proof Finding.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 709–723. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Wos, Larry, Winker, S., Smith, Barry F., Veroff, Robert and Henschen, Lawrence J. 1984. “A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.” Artificial Intelligence 22(3): 303–356.