| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini , Italy, May 15 - 17, 1996. ... Notes in Computer Science , Band 1071) | 978-3-540-61208-7 (3-540-61208-4) | 2008 | Daniele Mundici · Mario Ornaghi · Ugo Moscato |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini , Italy, May 15 - 17, 1996. Proceedings | 978-3-662-17552-1 (3-662-17552-5) | 2014 | Ugo Moscato · Daniele Mundici |