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
ebook Buy $95.70
License: 30 days (until 05/26/2024)
Product notice May come without consumable supplements like access codes, CD's, or workbooks.
Show more
Close
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
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: ).