The Testaments out now
Principles of Automated Theorem Proving: Techniques for First Order Logic (Hardback)
  • Principles of Automated Theorem Proving: Techniques for First Order Logic (Hardback)
zoom

Principles of Automated Theorem Proving: Techniques for First Order Logic (Hardback)

(author)
£55.00
Hardback 262 Pages / Published: 29/05/1991
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: John Wiley and Sons Ltd
ISBN: 9780471927846
Number of pages: 262
Weight: 480 g
Dimensions: 54 x 35 x 21 mm

You may also be interested in...

Beyond Software Architecture
Added to basket
Digital Design: International Editions
Added to basket
Formal Languages in Logic
Added to basket
The ZX Spectrum ULA
Added to basket
Articulating Design Decisions
Added to basket
Enterprise Data Architecture
Added to basket
Principles of Computer Hardware
Added to basket
Computer Systems
Added to basket
Logic in Computer Science
Added to basket

Please sign in to write a review

Your review has been submitted successfully.