[填空题,5分] 机器定理证明有四个主要方法：(1)自然演绎法；(2)判定法；(3)定理证明器；(4)（）。
出自：信阳师范学院 人工智能

提示：
同一【IP】的非会员用户每天可免费获取10次答案

收藏本站【zk.995w.com】，下次访问不迷路

本站试题总数:【10245403】个 (题库试题定时更新)