The Logic Theory Machine的意思|示意
美 / /
英 / /
逻辑理论机器
The Logic Theory Machine的网络常见释义
逻辑理论机 1956年，纽厄尔、西蒙率先编制出《逻辑理论机》（The Logic Theory Machine），即LT数学定理证明程序，被人们公认是第一个AI程序。