|
|
Sold Out
Book Categories |
| Preface | ||
| 1 | A Brief Introduction to COMPILE, HERBY, and THEO | 1 |
| 2 | Predicate Calculus, Well-Formed Formulas and Theorems | 7 |
| 3 | COMPILE: Transforming Well-Formed Formulas to Clauses | 21 |
| 4 | Inference Procedures | 29 |
| 5 | Proving Theorems by Contructing Closed Semantic Trees | 43 |
| 6 | Resolution-Refutation Proofs | 53 |
| 7 | HERBY: A Semantic-Tree Theorem Prover | 85 |
| 8 | Using HERBY | 97 |
| 9 | THEO: A Resolution-Refutation Theorem Prover | 113 |
| 10 | Using THEO | 139 |
| 11 | A Look at the Source Code of HERBY | 161 |
| 12 | A Look at the Source Code of THEO | 173 |
| 13 | The CADE ATP System Competitions and Other Theorem Provers | 181 |
| Bibliography | 207 | |
| App. A Answers to Selected Exercises | 211 | |
| App. B | List of Wffs and Theorems in the Directories WFFS, THEOREMS, GEOMETRY, and THMSMISC | 219 |
| Index | 225 |
| Price | Condition | Delivery | Seller | Action |
| $119.00 | Digital |
| WonderClub |
Calvin Animashaun
reviewed Automated Theorem Proving: Theory and Practice on January 22, 2012
Automated Theorem Proving
An exceptional textbook for computer science. This is not among the very popular titles on the subject, but one of the best.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Automated Theorem Proving: Theory and Practice
X
This Item is in Your Inventory
Automated Theorem Proving: Theory and Practice
X
You must be logged in to review the productsX
X
X
Add Automated Theorem Proving: Theory and Practice, , Automated Theorem Proving: Theory and Practice to the inventory that you are selling on WonderClubX
X
Add Automated Theorem Proving: Theory and Practice, , Automated Theorem Proving: Theory and Practice to your collection on WonderClub |
