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 to cart. $302.01, very good condition, Sold by ZBK Books rated 4.0 out of 5 stars, ships from Belleville, NJ, UNITED STATES, published 1991 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fast &-Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid nice copy to enjoy.
