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 $81.23
You save: 65%
Marketplace Item
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
new Add to Cart $215.17
You save: 6%
FREE economy shipping!
ebook Buy $35.70
License: 30 days (until 06/12/2026)
License Details
You are purchasing a license to access this digital product—not ownership of the content.
Access durations vary by product.
eBooks labeled "Lifetime" provide permanent online access along with the option to permanently download the content to a supported device.
Publishers may set shorter access periods and license durations for course materials accessed and hosted through their websites. Please confirm license duration and support directly with these publishers.
American Academy Holdings, Editora Manole, and Forum for International Trade Training have requested that we support "Lifetime" licenses with different durations. Please confirm license duration and support directly with these publishers.
All licenses are non-transferrable and may be revoked if VitalSource or its partners no longer hold rights to the content.
Learn more about our digital license terms on this support page.
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
Product notice Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller Condition Comments Price  
Seller: HPB-Red
Location: Dallas, TX
Condition: Good
Shipping Icon
Connecting readers with great books since 1972! Used textbooks may not
[...]
Price:
$81.23
Comments:
Connecting readers with great books since 1972! Used textbooks may not
[...]
Seller: ErgodeBooks
Location: Houston, TX
Condition: Good
Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
Price:
$125.98
Comments:
Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
Seller: Basi6 International
Location: Irving, TX
Condition: New
New, US edition. Satisfaction guaranteed! !
Price:
$137.15
Comments:
New, US edition. Satisfaction guaranteed! !
Seller: Basi6 International
Location: Irving, TX
Condition: New
New, Satisfaction guaranteed! !
Price:
$138.27
Comments:
New, Satisfaction guaranteed! !
Seller: Bonita
Location: Santa Clarita, CA
Condition: Good
Shipping Icon
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Price:
$139.77
Comments:
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Seller: discount_scientific_books
Location: Sterling Heights, MI
Condition: New
New Book Original US edition, We Ship to PO BOX Address also.
Price:
$141.80
Comments:
New Book Original US edition, We Ship to PO BOX Address also.
Seller: Alibris
Location: Sparks, NV
Condition: New
Shipping Icon
Print on demand Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
Price:
$179.65
Comments:
Print on demand Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
Seller: ErgodeBooks
Location: Houston, TX
Condition: New
Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
Price:
$212.23
Comments:
Sewn binding. Cloth over boards. 231 p. Contains: Unspecified.
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: ).