Ulrich Fuhrbach · Ulrike Froböse
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 978-3-540-37187-8 | 2006 | Natarajan Shankar |
| Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings | 978-3-540-67797-0 | 2000 | John Lloyd · Veronica Dahl · Manfred Kerber · Kung-Kiu Lau |
| KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings ... Computer Science / Lecture Notes in Artific) | 978-3-540-28761-2 | 2008 | |
| Logics in Artificial Intelligence, JELIA '98: European Workshop, Jelia'98, Dagstuhl, Germany, October 12-15, 1998: Proceedings | 978-3-540-65141-3 | 1998 | Jürgen Dix · Farinas L. DelCerro |