| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, ... / Lecture Notes in Artificial Intelligence) | 978-3-54O-43929-5 (3-54O-43929-3) | 2008 | Uwe Egly |