| 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-54O-612O8-7 (3-54O-612O8-4) | 2008 | Pierangelo Miglioli · Daniele Mundici · Ugo Moscato |
M. O. · Mária Ormos · Marie Örnesved · Mary Ormiston · Mauro Orunesu