A.S. · A Schmidt · R. A. · R.S. · R. Schmidt · Renate Schmidt
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 | 978-3-642-02958-5 | 2009 | |
| Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, ... Applications, incl. Internet/Web, and HCI) | 978-3-642-03753-5 | 2009 | 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 ... Computer Science and General Issues) | 978-3-540-37873-0 | 2006 | |
| 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 | |