| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, ... Notes in Computer Science , Band 1397) | 978-3-540-64406-4 | 1998 | |
| Philosophical and Mathematical Logic | 978-3-030-03253-1 | 2018 | |
| Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, ... Notes in Computer Science, Band 6663) | 978-3-642-21069-3 | 2011 | |
| Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI, Revised Papers | 978-3-540-20780-1 | 2008 | Marc Roubens · Gunther Schmidt · Ewa Orlowska |
| Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected ... Notes in Computer Science , Band 4342) | 978-3-540-69223-2 | 2006 | |