by: J. Alan Robinson · Andrei Voronkov
Hardcover
ISBN: 978-0-262-18223-2
ISBN-10: 0-262-18223-8
The MIT Press · 2001
|
|
by: J. Alan Robinson · Andrei VoronkovHardcover
ISBN: 978-0-262-18223-2 ISBN-10: 0-262-18223-8 The MIT Press · 2001 |
| See also: | ||
| 2001 | Hardcover | Handbook of Automated Reasoning, Vol. 1 (Volume 1) |
| 2001 | Hardcover | Handbook of Automated Reasoning |