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 |
|
HPB-Red
|
Good
|
$81.23
|
|
ErgodeBooks
|
Good |
$125.98
|
|
Basi6 International
|
New |
$137.15
|
|
Basi6 International
|
New |
$138.27
|
|
Bonita
|
Good
|
$139.77
|
|
discount_scientific_books
|
New |
$141.80
|
|
Alibris
|
New
|
$179.65
|
|
ErgodeBooks
|
New |
$212.23
|
Please Wait