TY - DATA AU - Hölldobler,Steffen AU - Lutz,Carsten AU - Wansing,Heinrich ED - SpringerLink (Online service) TI - Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings SN - 9783540878032 AV - Q334 H65 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Programming Techniques KW - Mathematical Logic and Formal Languages UR - http://dx.doi.org/10.1007/978-3-540-87803-2 ER -