（填空题）
用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）
正确答案
删除策略；支持集策略；线性输入策略；单文字子句策略；祖先过滤策略
答案解析
略
相似试题
（单选题）
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
（填空题）
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
（多选题）
调整段落的左缩进可采取的方法有（）。
（单选题）
利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。
（单选题）
在栅格数据获取过程中，为减少信息损失提高精度可采取的方法是：（）
（单选题）
在“大纲”选项卡中也可采用任意的方法对文本进行（）操作
（多选题）
对于大多数AutoCAD命令，可采用以下几种方法进行调用（）。
（单选题）
我国著名数学家吴文俊院士应用计算机进行几何定理的证明，该应用属于下列计算机应用领域中的（）。
（单选题）
在Word中，需要对长文档中多处不相邻的段落设置统一格式，可采取的方便而快捷的操作方法是（）。
