![]() |
by: Robert S. Boyer · J. Strother MooreHardcover details (United States). details (United Kingdom). details (Germany). details (Canada). ISBN: 978-0-12-122952-8 ISBN-10: 0-12-122952-1 Academic Pr · 1988 |
See also: | ||
1997 | Hardcover | Computational Logic Handbook, A (Formal Methods) |