问题描述：
[填空]
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
参考答案：查看无
答案解析：无
☆收藏
答案解析：无
☆收藏
- 我要回答: 网友(3.12.136.191)
- 热门题目: 1.新型专家系统有何特征？ 2.专家系统程序与一般的问题求解 3.什么叫做专家系统？