1956年，纽厄尔、西蒙率先编制出《逻辑理论机》（The Logic Theory Machine），即LT数学定理证明程序，被人们公认是第一个AI程序。
基于154个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
逻辑理论机l TM ？
Logic Theory Machine?
youdao
应用推荐
模块上移
模块下移
不移动