| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings | Paperback | 978-3-662-17672-6 (3-662-17672-6) | 2014 | Michael A. McRobbie |
| Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings | Taschenbuch | 978-3-540-61511-8 (3-540-61511-3) | 2010 | " |