| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Applications of Multi-Agent Systems | 978-0-387-61157-0 | 1996 | J. Perram · J. P. Muller · J. G. Carbonell | |
| Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 | 978-3-540-12044-5 | 1983 | G. Wrightson | |
| Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 | 978-3-540-12043-8 | 1983 | " | |
| Automation of Reasoning: Classical Papers on Computational Logic, 1967-1970 | 978-0-387-12044-7 | 1983 | ||
J. H. Siekmann · J??rg H. Siekmann · J. S. · Jörg H. Siekmann · Jörg Siekmann · Jorg H. Siekmann · Jorg Siekmann · Jürgen Siekmann