Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models (1972)

by C
Venue:in a Robot, AF TR-258, MIT Artificial Intelligence