| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562) | 978-3-319-08586-9 (3-319-08586-7) | 2014 | Stéphane Demri · Deepak Kapur | |
| Automation of Logic | 978-1-4398-7535-3 (1-4398-7535-9) | 2021 | ||
| Programming Logics: Essays in Memory of Harald Ganzinger | 978-3-642-37650-4 (3-642-37650-9) | 2013 | Andrei Voronkov | |
C. W. · Christian Wittenberg · Christiane Weidenfeld · Christiane Wittenburg · Christine Weidenweber · Christine Wittenburg · Crystal Watanabe