Reasoning Robots The Art and Science of Programming Robotic Agents - Thielscher, Michael; SpringerLink (Online service) (Dordrecht : Springer, 2005)
Keywords: Autonomous robots; Robots -- Programming; Calculus -- Computer programs; Philosophy; Programming Techniques; Artificial Intelligence (incl. Robotics); Philosophy of Technology