by: Alan J.A. Robinson · Andrei Voronkov
Hardcover
ISBN: 978-0-444-50812-6
ISBN-10: 0-444-50812-0
North Holland · 2001
|
|
by: Alan J.A. Robinson · Andrei VoronkovHardcover
ISBN: 978-0-444-50812-6 ISBN-10: 0-444-50812-0 North Holland · 2001 |
| See also: | ||
| 2001 | Hardcover | Handbook of Automated Reasoning, Volume 1 |
| 2001 | Hardcover | Handbook of Automated Reasoning, Volume I |