by: Robert S. Boyer · J. Strother Moore
Hardcover
ISBN: 978-0-12-122955-9
ISBN-10: 0-12-122955-6
Morgan Kaufmann · 1997
|
|
by: Robert S. Boyer · J. Strother MooreHardcover
ISBN: 978-0-12-122955-9 ISBN-10: 0-12-122955-6 Morgan Kaufmann · 1997 |
| See also: | ||
| 1988 | Hardcover | A Computational Logic Handbook (Perspectives in Computing) |