20世纪50年代，王浩曾一度想回国效力，于是他从哲学转向计算机，因为计算机 ... 20世纪80年代末期出版的《人工智能手册》中有两章关于机器定理证明的内容，但取材 ...
说到人工智能，就不得不提计算机届的一个传奇人物：阿兰. 图灵博士。 1950年，图灵在《思想》（mind）杂志上发表了一篇《计算的机器和智能》的论文。 在 ...
首先，自动推论或者自动演绎(automated deduction)的历史源头可以追溯到20 世纪50 年代[9]。美国数学家Martin Davis 在1954 年编写了一个自动演绎证明程序 ...
在20世纪50年代，开发了第一个能够证明数学定理的人工智能程序的科学家是艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert A. Simon）。他们共同开发了名为“逻辑理论家”（Logic Theorist）的程序，该程序能够证明数学定理。这个程序在人工智能历史上具有重要意义，因为它标志着机器自动证明数学定理的开始。来源
杜波依斯为何在1950年代成为麦卡锡主义的目标？
迪士尼在20世纪50年代制作了哪些经典动画电影？
诺姆·乔姆斯基的生成文法对现代语言学产生了怎样的影响？
台湾史学界如何划分“近世”、“近代”和“现代”的历史时期？
亚当·赫洛谢克在捷克国家足球队的职业生涯中，他为国家队出场了多少次，是否取得了进球？
朱皇后为何在孙皓即位后被贬为景皇后，并最终被迫害致死？
金刚电影在1933年改编成小说时，是由哪位作者编写的？
《二分之一的友情》这部电影是哪一年上映的，谁是主要主演？
1931年5月28日，汪精衛等人在廣州成立的「國民政府」提出了哪些主要政策？
薩托方塊的起源和歷史背景是什麼？