Principles of Automated Theorem Proving
| Author | : David A. Duffy |
| Publisher | : |
| Total Pages | : 272 |
| Release | : 1991-09-09 |
| ISBN-10 | : UOM:39015021996932 |
| ISBN-13 | : |
| Rating | : 4/5 (32 Downloads) |
Book Synopsis Principles of Automated Theorem Proving by : David A. Duffy
Download or read book Principles of Automated Theorem Proving written by David A. Duffy and published by . This book was released on 1991-09-09 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: An overview of ATP techniques for the non-specialist, it discusses all the main approaches to proof: resolution, natural deduction, sequentzen, and the connection calculi. Also discusses strategies for their application and three major implemented systems. Looks in detail at the new field of ``inductionless induction'' and brings out its relationship to the classical approach to proof by induction.
