![]() |
by: Alan J.A. Robinson · Andrei VoronkovHardcover details (USA). details (United Kingdom). details (Germany). details (Canada). ISBN: 978-0-444-82949-8 ISBN-10: 0-444-82949-0 North Holland · 2001 |
See also: | ||
2001 | Hardcover | Handbook of Automated Reasoning, Volume 1 |
2001 | Hardcover | Handbook of Automated Reasoning, Volume II |