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
Description
Summary:Revised

Similar Items