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.
Read More
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.
Read Less
Add this copy of Principles of Automated Theorem Proving (Wiley to cart. $109.16, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Wiley.
