Computational Logic Handbook, A (formal Methods)
Author(s)
Robert S. Boyer
J. Strother Moore
Robert S. Boyer
J. Strother Moore
Name in long format: | Computational Logic Handbook, A (formal Methods) |
---|---|
ISBN-10: | 0121229556 |
ISBN-13: | 9780121229559 |
Book pages: | 518 |
Edition: | 2 |
Binding: | Hardcover |
Publisher: | Morgan Kaufmann |