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.