Ulrich Fuhrbach · Ulrike Froböse
Springer · Vieweg+Teubner Verlag
| 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 | 2008 | 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 · Catuscia Palamidessi · Luis M. Pereira · Yehoshua Sagiv |
| IRobot - uMan: Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste | 978-3-642-22927-5 | 2011 | Ulrike Barthelmeß |
| KI 2005: Advances in Artificial Intelligence: 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings | 978-3-540-28761-2 | 2008 | |
| Logics in Artificial Intelligence: European Workshop, JELIA'98, Dagstuhl, Germany, October 12-15, 1998, Proceedings | 978-3-540-65141-3 | 1998 | Jurgen Dix · Luis Farinas Del Cerro |
| Logische und Funktionale Programmierung: Grundlagen einer Kombination | 978-3-528-05127-3 | 1991 | |