| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 | 978-3-540-12044-5 (3-540-12044-0) | 1983 | J. Siekmann |
| Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 | 978-3-540-12043-8 (3-540-12043-2) | 1983 | " |