Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting] Previous Document: [417] Taskspecific Architectures for Problem Solving Next Document: [419] 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 resolutionbased 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, McGrawHill, 1992. Proceedings of the 11th International Conference on Automated Deduction (CADE11), D. Kapur (editor), Saratoga Springs, NY, USA, June 1518, 1992, Lecture Notes in AI 607, SpringerVerlag, 1992, 793 pages. ISBN 0387556028 and 3540556028. [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:Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting] Previous Document: [417] Taskspecific Architectures for Problem Solving Next Document: [419] 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
