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

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

（A）“逻辑理论家”

（B）阿尔法狗

（C）IBM 沃森

（D）IBM“深蓝“

参考答案

更多试题》》》