| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings | | 978-3-642-02958-5 | 2009 |
| Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, ... Notes in Computer Science, Band 10501) | | 978-3-319-66901-4 | 2017 | Cláudia Nalon |
| Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Notes in Computer Science , Band 5689) | | 978-3-642-03753-5 | 2010 | Sergio Tessaris · Enrico Franconi · Thomas Eiter · Claudio Gutierrez · Siegfried Handschuh · Marie-Christine Rousset |
| Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International ... Notes in Computer Science , Band 4136) | | 978-3-540-37873-0 | 2008 |
| Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop ... | | 978-3-540-37874-7 | 2006 |
| Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications | | 978-1-904987-56-7 | 2008 | Dov Gabbay · Andrzej Szalas |