| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, ... Notes in Computer Science, Band 9323) | 978-3-319-24311-5 (3-319-24311-X) | 2015 |