CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Theorem Proving and Automated Reasoning

areas/reasonng/atp/

   doc/       Documentation about Theorem Proving and Automated 
              Reasoning
   problems/  Problem Libraries for Theorem Proving and 
              Automated Reasoning
   systems/   Theorem Proving and Automated Reasoning Systems
This directory contains software and other materials about Theorem Proving and Automated Reasoning.
References: C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem Proving", Academic Press, 1973. Alan Bundy, "The Computer Modelling of Mathematical Reasoning", Academic Press, 1983. [Contains Prolog code for a simple resolution-based theorem prover.] David Duffy, "Principles of Automated Theorem Proving", John Wiley and Sons, 1991. Larry Wos and Ross Overbeek and Ewing Lusk and Jim Boyle, "Automated Reasoning. Introduction and Applications", Second Edition, McGraw-Hill, 1992. Proceedings of the 11th International Conference on Automated Deduction (CADE-11), D. Kapur (editor), Saratoga Springs, NY, USA, June 15-18, 1992, Lecture Notes in AI 607, Springer-Verlag, 1992, 793 pages. ISBN 0-387-55602-8 and 3-540-55602-8. [The CADE proceedings have a systems abstracts section with short descriptions of implemented systems, many of which are available by anonymous ftp.] CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Automated Reasoning, Reasoning!Automated Reasoning, Theorem Proving
Last Web update on Mon Feb 13 10:27:43 1995
AI.Repository@cs.cmu.edu