PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

Revised

Bibliographic Details
Main Author:	Hewitt, Carl
Language:	en_US
Published:	2004
Online Access:	http://hdl.handle.net/1721.1/6171

Internet

http://hdl.handle.net/1721.1/6171