首页

世界上第一个数据定理证明智能程序为()

（A）“逻辑理论家”

（B）阿尔法狗

（C）IBM 沃森

（D）IBM“深蓝“