首页 /研究 /A logical theory of robot problem solving
OTHER

A logical theory of robot problem solving

Olga Štěpánková, Ivan M. Havel

发表年份
1976
引用次数
16

关键词

Situation calculusMathematicsMathematical proofImage (mathematics)Frame problemSpace (punctuation)Domain (mathematical analysis)Calculus (dental)Artificial intelligenceAlgebra over a field

相关论文

查看 OTHER 分类全部论文