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