Citations

• Chou, S. C. Mechanical Geometry Theorem Proving, D. Reidel Publishing Company, 1988, Dordrecht, Netherlands.



• Constable, Robert L., T. Knoblock, and J.L. Bates, "Writing Programs that Construct Proofs," Journal of Automated Reasoning, Vol. 1, No. 3, pages 285 ­-326, 1984.



• Davis, M. The Prehistory and Early History of Automated Deduction: Automation of Reasoning 1, editors J. Siekmann and G. Wrightson, Springer-Verlag, NY, pages 1 ­ 28, 1983.



• Frege
  
  
• Gordon, Michael, Robin Milner, and Christopher Wadsworth. "Edinburgh LCF: A Mechanized Logic of Computation," Lecture Notes in Computer Science, Vol.78, Springer-Verlag, NY, 1979.



• Leibniz, Gottfried. Logical Papers: A Selection, Clarendon Press,, Oxford, 1966.



• McCarthy, J. "Computer Programs for Checking Mathematical Proofs," Proceedings of the Symposium in Pure Math, Recursive Function Theory,Volume V, pages 219-228, AMS, Providence, RI, 1962.



• Minsky, Marvin L. Computation: Finite and Infinite Machines, Prentice-Hall, Inc., 1967, Englewood Cliffs, N. J.
  
  
• Marvin L. Minsky. "Size and Structure of Universal Turing Machines Using Tag Systems," Recursive Function Theory, Symposia in Pure Mathematics 5, American Math Society, 1962.
  
  
• Siekmann, Jorg and Graham Wrightson. Automation of Reasoning, Springer-Verlag, Vol. 1, Classical Papers on Computational Logic, New York, 1983.



• Wang, H. "Toward Mechanical Mathematics," IBM Journal of Research and Development, pages 2 ­ 22, 1960.

Back to the Nature of the PRL Project main page.