1956年,纽厄尔、西蒙率先编制出《逻辑理论机》(The Logic Theory Machine),即LT数学定理证明程序,被人们公认是第一个AI程序。
基于28个网页-相关网页
the logic theory machine
逻辑理论机器
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动