世界上第一个数据定理证明智能程序为( )？|考算网题库

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

（A）"逻辑理论家"

（B）阿尔法狗

（C）IBM沃森

（D）IBM"深蓝"

参考答案

更多试题》》》