Description and theoretical analysis (using schemas) of Planner: a language for proving theorems and manipulating modelsin a robot.
Publisher: Massachusetts Institute of Technology
Published: 1971
Place of publication: Massachusetts
Language: eng
Notes: Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the Massachusetts Institute of Technology, 1971.