Error title
Some error text about your books and stuff.
Close

Automated Theorem Proving Theory and Practice

by Monty Newborn

  • ISBN: 9780387950754
  • ISBN10: 0387950753

Automated Theorem Proving Theory and Practice

by Monty Newborn

  • List Price: $229.00
  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 01/01/2001
  • ISBN: 9780387950754
  • ISBN10: 0387950753
used Add to Cart $11.02
You save: 95%
Marketplace Item
new Add to Cart $202.79
You save: 11%
FREE economy shipping!
Description: This book/software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The author shows how the two approaches, semantic tree theorem proving and resolution-refutation theorem proving, work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter provides exercises that will familiarize readers with both the ideas and the software.
Expand description
Seller Condition Comments Price  
Seller: HPB-Ohio
Location: Columbus, OH
Condition: Good
Shipping Icon
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Price:
$11.02
Comments:
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$38.45
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Found Books
Location: AUSTIN, TX
Condition: Good
0387950753.
Price:
$40.50
Comments:
0387950753.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$176.39
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).