Coming Soon! Australia’s Home of Books is preparing for a fresh chapter under new ownership. We’re working behind the scenes to bring you the best selection of books, fulfilled in record time. Stay tuned. Your next great read is just around the corner!
  1. Home
  2. Books
  3. Non-Fiction
  4. Computing & information technology
  5. Computer programming / software development

Free shipping on orders over $99
Principles of Automated Theorem Proving

Principles of Automated Theorem Proving

Techniques for First Order Logic

by David Duffy
Hardback
Publication Date: 29/05/1991
Be the first to write a review

Share This Book:

 
$107.80
Add to List

Click 'Notify Me' to get an email alert when this item becomes available

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.
ISBN:
9780471927846
9780471927846
Category:
Computer architecture & logic design
Format:
Hardback
Publication Date:
29-05-1991
Publisher:
John Wiley and Sons Ltd
Country of origin:
United Kingdom
Pages:
262
Dimensions (mm):
54x35x21mm
Weight:
0.48kg

Click 'Notify Me' to get an email alert when this item becomes available

You can find this item in:

Computer programming / software development Computer architecture & logic design Programming & scripting languages: general Mathematical logic
Show more Show less

Reviews

Be the first to review Principles of Automated Theorem Proving.