| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966 | 978-0-387-12043-0 (0-387-12043-2) | 1983 | Jorg H. Siekmann | |
| Computer Money: A Systematic Overview of Electronic Payment Systems | 978-3-920993-54-6 (3-920993-54-3) | 1996 | Andreas Furche | |
| Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings | 978-3-540-55425-7 (3-540-55425-4) | 2008 | Bertram Fronh??fer |