The Computational Logic Handbook by Robert S Boyer
Contains a precise and complete description of the computational logic develo by the authors; will serve also as a reference guide to the associated mechanical theorem proving system. Annotation copyright Book News, Inc. Portland, Or.| SKU | Unavailable |
| ISBN 13 | 9780121229528 |
| ISBN 10 | 0121229521 |
| Title | The Computational Logic Handbook |
| Author | Robert S Boyer |
| Condition | Unavailable |
| Publisher | Elsevier Science Publishing Co Inc |
| Year published | 1997-11-28 |
| Number of pages | 408 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |