單項(xiàng)選擇題

世界上第一個(gè)數(shù)據(jù)定理證明智能程序?yàn)椋ǎ?/h4>

A.“邏輯理論家”
B.阿爾法狗
C.IBM沃森
D.IBM“深藍(lán)”

微信掃碼免費(fèi)搜題