| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| 8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986 | 978-0-387-16780-0 (0-387-16780-3) | 1986 | |
| Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966 | 978-0-387-12043-0 (0-387-12043-2) | 1983 | Graham Wrightson |
| Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 | 978-0-387-12044-7 (0-387-12044-0) | 1983 | |
H.S. · J. H. · J. H. Siekmann · J. S. · J. Siekmann · Jörg H. Siekmann · Jorg Siekmann