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