| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Handbook of Automated Reasoning | 978-0-262-18222-5 | 2001 | Andrei Voronkov |
| Handbook of Automated Reasoning | 978-0-262-18223-2 | 2001 | " |
| Handbook of Automated Reasoning, Vol. 1 | 978-0-262-18221-8 | 2001 | " |
| Natural and Artificial Parallel Computation | 978-0-262-01120-4 | 1990 | |
A. R. · A. Robinson · Alan R. · Alan Robinson · J. A. · J.A. Robinson · J R · J. Robinson