支持集策略对参加归结的子句提出了什么限制？
简答题查看答案
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
填空题查看答案
归结策略中，（）是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
单选题查看答案
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
填空题查看答案
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。
填空题查看答案
命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？
简答题查看答案
计算机控制系统的实时控制过程可以归结为哪几个环节？
简答题查看答案
采用集中式通信控制策略的网络拓扑是（）
单选题查看答案
不属于自动请求重复发差错控制的策略是（）。
单选题查看答案