Hewitt, Carl "PLANNER: A Language for Proving Theorems in Robots" (1969) |
[IJCAI-69] (1969) Donald E. Walker, Lewis M. Norton (Eds.): Proceedings of the 1st International Joint Conference on Artificial Intelligence IJCAI-69, Washington, DC, May 1969. William Kaufmann, 1969
|
|