An interactive enhancement to the Boyer-Moore theorem prover

1. Robert S. Boyer and J Strother Moore. The User's Manual for A Computational Logic. Technical Report 18, Computational Logic, Inc., Austin, Texas, February, 1988.

   Google Scholar 

2. Robert S. Boyer and J. Strother Moore. A Computational Logic. Academic Press, New York, 1979.

   Google Scholar 

3. M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh LCF. Springer-Verlag, New York, 1979.

   Google Scholar 

4. Matt Kaufmann. A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover.

   Google Scholar 

5. . Technical Report 60, Institute for Computing Science, University of Texas at Austin, Austin, Texas, August, 1987.

   Google Scholar 

Download references