PLANNER: A Language for Proving Theorems in Robots

Carl Hewitt. PLANNER: A Language for Proving Theorems in Robots. In IJCAI. pages 295-302, 1969.

Abstract

Abstract is missing.