Robert S. Boyer (boyer-rs)

Contributions to Philosophie.ch

Bibliography

Bledsoe, Woodrow W., Boyer, Robert S. and Henneman, W. H. 1972. “Computer Proofs of Limit Theorems.” Artificial Intelligence 3(1–3): 27–60.
Boyer, Robert S., ed. 1991. Automated Reasoning: Essays in Honor of Woody Bledsoe. Dordrecht: Kluwer Academic Publishers.
Boyer, Robert S., Goldschag, David M., Kaufman, Matt and Moore, J. Strother. 1991. “Functional Instantiation in First-Order Logic.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 7–26. New York: Academic Press.
Boyer, Robert S. and Moore, J. Strother. 1972. “The Sharing of Structure in Theorem-Proving Programs.” in Machine Intelligence 7, edited by Bernard Meltzer and Donald Michie, pp. 101–116. Edinburgh: Edinburgh University Press.
Boyer, Robert S. and Moore, J. Strother. 1997. “Mechanized Reasoning about Programs and Computing Machines.” in Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, edited by Robert Veroff, pp. 146–176. Cambridge, Massachusetts: The MIT Press.