| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. ... Notes in Computer Science , Band 2796) | 978-3-54O-4O787-4 (3-54O-4O787-1) | 2008 | Fiora Pirri |