首页 /研究 /PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
OTHER

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot

Carl Hewitt

发表年份
1970
引用次数
55

摘要

Revised

关键词

RobotPlannerComputer scienceArtificial intelligenceProgramming language

相关论文

查看 OTHER 分类全部论文