The Computational Logic Handbook
Zusammenfassung
The feel-good place to buy books
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 | Nicht verfügbar |
| ISBN 13 | 9780121229528 |
| ISBN 10 | 0121229521 |
| Titel | The Computational Logic Handbook |
| Autor | Robert S Boyer |
| Buchzustand | Nicht verfügbar |
| Verlag | Elsevier Science Publishing Co Inc |
| Erscheinungsjahr | 1997-11-28 |
| Seitenanzahl | 408 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |