Advanced Search
DSpace@MIT

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Research and Teaching Output of the MIT Community

Files in this item

Name Size Format Description
AITR-258.ps 86.19Mb Postscript
AITR-258.pdf 62.91Mb PDF

This item appears in the following Collection(s)

MIT-Mirage