归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略

在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）

填空题查看答案

什么是归结控制策略？什么样的归结控制策略是完备的？

简答题查看答案

几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

填空题查看答案

用归结反演方法进行定理证明时，可采取的归结策略有（）、（）、（）、（）和（）

填空题查看答案

在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

填空题查看答案

支持集策略对参加归结的子句提出了什么限制？

简答题查看答案

在WindowsServer2003中，通常来说不同的情况需要选择不同的软件限制策略规则，一般可供选择的软件限制策略有（）。

多选题查看答案

在命令行中输入（）命令可以创建对齐线性尺寸标注。

单选题查看答案

预防死锁的策略有什么？解释这些策略 

简答题查看答案