Your price
Out of Stock

Principles of Automated Theorem Proving

Techniques for First Order Logic

By (author) David Duffy
Format: Hardback
Publisher: John Wiley and Sons Ltd, Chichester, United Kingdom
Imprint: John Wiley & Sons Ltd
Published: 29th May 1991
Dimensions: w 35mm h 54mm d 21mm
Weight: 480g
ISBN-10: 0471927848
ISBN-13: 9780471927846
Barcode No: 9780471927846
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.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now