![]() |
by: J. Alan Robinson · Andrei VoronkovHardcover details (USA). details (United Kingdom). details (Germany). details (Canada). ISBN: 978-0-262-18221-8 ISBN-10: 0-262-18221-1 The MIT Press · 2001 |
See also: | ||
2001 | Hardcover | Handbook of Automated Reasoning (2 Volume Set) |
2001 | Hardcover | Handbook of Automated Reasoning |