[计]?逻辑理论机
2.2形成期(1956年——1970年) 主要研究有以下几个方面: (1)心理学小组 1957年,逻辑理论机(Logic Theory Machine,LT) 的研制,该程序模拟人类用数理逻辑证明定理时的 思维规律,用它证明了《数学原理》中的38条定 理,开...
?逻辑推理机
... Mental Logic Theory: 心理逻辑理论 logic theory machine: 逻辑推理机 LTM Logic Theory Machine: 逻辑理论机 ...
逻辑理论机
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。