| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, ... Notes in Computer Science, Band 10501) | 978-3-319-669O1-4 (3-319-669O1-X) | 2017 | Renate A. Schmidt |