The efficiency of input resolution is discussed and compared with that of unitresolution.
本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较。
2
The rule of inference used in this procedure is a subcase of linear resolution—the unitresolution.
证明过程所采用的方法是线性归结的特殊情形——单位归结。
3
The inmost Envelope is where the agile team works to execute the; software development, unit testing, component testing, integration testing and defect resolution.