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