| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, ... Computer Science / Lecture Notes in Artific) | 978-3-642-02715-4 (3-642-02715-6) | 2009 | Arild Waaler |
Martin A. Giese · Martin Geck · Martin Geis · Martin Geisz · Martin Giesso · Martin Gijs · Martin Gough · Martin Gysi · Martina Geske · Martina Giese · Martine Gosse