[填空题] 机器定理证明有四个主要方法：(1)自然演绎法；(2)判定法；(3)定理证明器；(4)（）。 - 查题网

>> 河南成教 / 人工智能

河南成教 / 人工智能

[填空题] 机器定理证明有四个主要方法：(1)自然演绎法；(2)判定法；(3)定理证明器；(4)（）。

积分

人工智能

参考答案：

点击查看答案

佳题速递：