Reasoning robots : the art and science of programming robotic agents /

Bibliographic Details
Main Author:	Thielscher, Michael
Format:	Book
Language:	English
Published:	Dordrecht : Springer, 2005.
Series:	Applied logic series ; v. 33.
Subjects:	Autonomous robots. Robots > Programming. Calculus > Computer programs.

Remote Storage