| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | 978-3-662-48898-O (3-662-48898-1) | 2015 | Martin Davis · Annabelle McIver · Andrei Voronkov |