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

by C HEWITT
Venue:D. Thesis, Depat. of Mathematics