首页

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

（A）"逻辑理论家"

（B）阿尔法狗

（C）IBM沃森

（D）IBM"深蓝"