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
new Add to Cart $206.52
You save: 10%
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
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: ).