| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, ... Notes in Computer Science, Band 11714) | 978-3-030-29025-2 (3-030-29025-5) | 2019 | Serenella Cerrito |
| Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings | 978-3-030-29006-1 (3-030-29006-9) | 2019 | Andreas Herzig |
A. P. · Andrea Pappas · Andrea Pufke · Andreas Paepcke · Andreas Papas · Andrei Popescu-Belis