| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... Notes in Computer Science, Band 8123) | 978-3-642-4O536-5 (3-642-4O536-3) | 2013 | Didier Galmiche |