中图分类法:	TP242.2 版次：
著者:	Thielscher, Michael.
题名:	Reasoning robots : [ the art and science of programming robotic agents /] / ,
出版发行:	出版地： Dordrecht : 出版社： Springer, 出版日期： c2005.
载体形态:	xiii, 327 p. : ill. ; 25 cm.
主题词:	Autonomous robots.
主题词:	Calculus Computer programs.
主题词:	Robots Programming.