Principles of Automated Theorem Proving (Wiley Professional Computing)

3 avg rating
( 2 ratings by Goodreads )
 
9780471927846: Principles of Automated Theorem Proving (Wiley Professional Computing)

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Duffy, David A.
Published by Wiley
ISBN 10: 0471927848 ISBN 13: 9780471927846
New Hardcover Quantity Available: 1
Seller:
Cloud 9 Books
(Wellington, FL, U.S.A.)
Rating
[?]

Book Description Wiley. Hardcover. Book Condition: New. 0471927848 New Condition. Bookseller Inventory # NEW7.1949799

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 64.18
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Duffy, David A.
Published by Wiley (1991)
ISBN 10: 0471927848 ISBN 13: 9780471927846
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Wiley, 1991. Hardcover. Book Condition: New. Never used!. Bookseller Inventory # P110471927848

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.52
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

3.

David A. Duffy
Published by Wiley (1991)
ISBN 10: 0471927848 ISBN 13: 9780471927846
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Wiley, 1991. Hardcover. Book Condition: New. book. Bookseller Inventory # M0471927848

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 223.15
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds