| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| 8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings | 978-3-540-16780-8 | 1986 | ||
| Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 | 978-3-642-81957-5 | 1983 | ||
| Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 | 978-3-642-81954-4 | 1983 | ||
| Automation of Reasoning I. Classical Papers on Computational Logic 1957-1966 | 978-3-540-12043-8 | 1983 | G. Wrightson | |
| Automation of Reasoning II. Classical Papers on Computational Logic 1967-1970: 2 | 978-3-540-12044-5 | 1983 | " | |
| Computational Logic, Volume 9 | 978-0-444-51624-4 | 2014 | Dov M. Gabbay · John Woods | |
H.S. · J. H. · J. H. Siekmann · J. S. · J. Siekmann · Jörg Siekmann · Jorg H. Siekmann