Automated Theorem Proving Theory and Practice
- List Price: $229.00
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 01/01/2001
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 |
Ergodebooks
|
Good |
$56.51
|
Ergodebooks_N
|
Good |
$67.00
|
|
Bonita
Good
|
$121.48
|
|
GridFreed
New |
$126.33
|
Please Wait