Robert Veroff (veroff)

Contributions à Philosophie.ch

Bibliography

Veroff, Robert, ed. 1997. Automated Reasoning and Its Applications: Essays in Honor of Larry Wos. Cambridge, Massachusetts: The MIT Press.
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, 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.