單項選擇題

世界上第一個數據定理證明智能程序為()

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

微信掃碼免費搜題