Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Section - [4-18] Automated Deduction/Theorem Proving

( Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Business Photos and Profiles ]


Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Previous Document: [4-17] Task-specific Architectures for Problem Solving
Next Document: [4-19] Probabilistic Reasoning
See reader questions & answers on this topic! - Help others by sharing your knowledge

   Alan Bundy, "The Computer Modelling of Mathematical Reasoning",
   Academic Press, 1983. [Contains Prolog code for a simple
   resolution-based theorem prover.]

   C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem
   Proving", Academic Press, 1973.

   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.]

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Previous Document: [4-17] Task-specific Architectures for Problem Solving
Next Document: [4-19] Probabilistic Reasoning

Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
crabbe@usna.edu





Last Update March 27 2014 @ 02:11 PM