Diese Seite auf DeutschCette page en françaisThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/veroff

Robert Veroff (veroff)

Contributi a Philosophie.ch

No contributions yet

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.