中图分类法:	TP18-532 版次：
题名:	Logics in artificial intelligence : [ 11th European conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008 : proceedings /] / ,
其它题名:	JELIA 2008
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2008.
载体形态:	xi, 428 p. : ill. ; 24 cm.
主题词:	Artificial intelligence
主题词:	Logic, Symbolic and mathematica
主要责任者:	Ho?lldobler, Steffen,
主要责任者:	Lutz, Carsten,
主要责任者:	Wansing, H.