The efficiency of input resolution is discussed and compared with that of unit resolution.
本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
应用推荐