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

Computer-Aided Reasoning an Approach

by J. Strother Moore

  • ISBN: 9780792377443
  • ISBN10: 0792377443

Computer-Aided Reasoning an Approach

by J. Strother Moore

  • List Price: $329.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 06/01/2000
  • ISBN: 9780792377443
  • ISBN10: 0792377443
used Add to Cart $50.95
You save: 85%
Marketplace Item
Description: An Approach Preface. 1. Introduction. I: Preliminaries. 2. Overview. II: Programming. 3. The Language. 4. Programming Exercises. 5. Macros. III: Reasoning. 6. The Logic. 7. Proof Examples. IV: Gaming. 8. The Mechanical Theorem Prover. 9. How to Use the Theorem Prover. 10. Theorem Prover Examples. 11. Theorem Prover Exercises. Appendices. Bibliography. Index.
Expand description
Seller Condition Comments Price  
Seller: Central Kentucky Book Supply
Location: Nicholasville, KY
Condition: Acceptable
Shipping Icon
100% satisfaction guaranteed! We ship quicklySatisfaction Guaranteed. Please contact us with any inquiries. We ship daily.
Price:
$50.95
Comments:
100% satisfaction guaranteed! We ship quicklySatisfaction Guaranteed. Please contact us with any inquiries. We ship daily.
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:
$154.08
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: ).