中图分类法:	TP31-532 版次：
题名:	Logic programming and nonmonotonic reasoning : [ 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /] / ,
其它题名:	LPNMR 2001.
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2001.
载体形态:	xi, 444 p. : some ill. ; 24 cm.
主题词:	Logic programming
主题词:	Nonmonotonic reasoning
主要责任者:	Eiter, Thomas,
主要责任者:	Faber, Wolfgang,
主要责任者:	Truszczy鈔ski, Miros盿w.