J. Strother Moore (moore-jst)

Contributions to Philosophie.ch

Bibliography

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.
Kaufmann, Matthias [Matt] and Moore, J. Strother. 2002. “A Computational Logic for Applicative Common LISP.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 724–741. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Moore, J. Strother. 2000. “Towards a Mechanically Checked Theory of Computation.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 547–574. Dordrecht: Kluwer Academic Publishers.