注意：此页面搜索的是所有试题
题目内容
（信阳师范学院 人工智能）
[填空题,5分] 机器定理证明有四个主要方法：(1)自然演绎法；(2)判定法；(3)定理证明器；(4)（）。
参考答案