Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.
Download to your computer
Kindle Cloud Reader

Automated Theorem Proving: Theory and Practice 2001st Edition

by Monty Newborn (Author)
4.0 out of 5 stars 1 customer review
ISBN-13: 978-0387950754
ISBN-10: 0387950753
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Have one to sell? Sell on Amazon
Facebook Twitter Pinterest
Condition: Used - Good
Used - Good
Book Condition: Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers.
In Stock. Sold by Better World Books
Condition: Used: Good
Comment: Shows some signs of wear, and may have some markings on the inside. 100% Money Back Guarantee. Shipped to over one million happy customers.
Access codes and supplements are not guaranteed with used items.
+ $0.00 shipping
Only 4 left in stock - order soon.
Ships from and sold by DelhiBookStore.
List Price: $229.00
Save: $69.26 (30%)
$159.74 + $3.99 shipping
Price
New from Used from
Kindle
$142.49
— —
Hardcover
$159.74
$159.74 $71.95
Paperback
$149.99
$143.00 $160.80
Digital, Amazon Upgrade
$17.99
$17.99 —
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

The Amazon Book Review
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
click to open popover

Frequently bought together

  • Automated Theorem Proving: Theory and Practice
  • +
  • Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Total price: $187.39
These items are shipped from and sold by different sellers. Show details
Buy the selected items together

Product details

  • Hardcover: 231 pages
  • Publisher: Springer; 2001 edition (December 15, 2000)
  • Language: English
  • ISBN-10: 0387950753
  • ISBN-13: 978-0387950754
  • Product Dimensions: 6.1 x 0.6 x 9.2 inches
  • Shipping Weight: 1.2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.0 out of 5 stars 1 customer review
  • Amazon Best Sellers Rank: #2,809,231 in Books (See Top 100 in Books)

    • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?
NO_CONTENT_IN_FEATURE
Amazon First Reads | Editors' picks at exclusive prices

Customer Reviews

4.0 out of 5 stars
1
4.0 out of 5 stars
Share your thoughts with other customers
Write a customer review
See all 1 customer reviews

Top customer reviews

james
4.0 out of 5 starsLearn about automated theorem proving in one weekend
February 12, 2001
Format: Hardcover
Read more
16 people found this helpful
Helpful
Not Helpful
 |Comment|Report abuse

Set up an Amazon Giveaway

Automated Theorem Proving: Theory and Practice
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Automated Theorem Proving: Theory and Practice
Set up a giveaway

Customers who bought this item also bought

Page 1 of 1 Start overPage 1 of 1
This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.
Back
  1. Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
    Jean H. Gallier
    4.6 out of 5 stars 3
    Paperback
    $27.65 Prime
  2. The Little Prover (The MIT Press)
    Daniel P. Friedman
    4.8 out of 5 stars 7
    Paperback
    $33.32 Prime
  3. Advanced Topics in Types and Programming Languages (The MIT Press)
    Benjamin C. Pierce
    5.0 out of 5 stars 2
    Hardcover
    $85.00 Prime
  4. Type Theory and Formal Proof: An Introduction
    Rob Nederpelt
    5.0 out of 5 stars 6
    Hardcover
    $69.56 Prime
Next
Pages with related products. See and discover other items: mathematical proof

There's a problem loading this menu right now.

Learn more about Amazon Prime.