| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings | 978-3-319-40228-4 (3-319-40228-5) | 2016 | Ashish Tiwari | |
| Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... Notes in Computer Science , Band 4548) | 978-3-540-73098-9 (3-540-73098-2) | 2007 | ||
| Proof Theory for Fuzzy Logics | 978-1-4020-9408-8 (1-4020-9408-6) | 2008 | George Metcalfe · Dov M. Gabbay | |