归结子句 apodosis
- 本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上。
In this paper, although it is complete for the E unsatisfied clauses we have applied generated RUE-NRF resolution to the set of the generalized clauses with indexed literal.
您正在访问的是
中国词汇量第二的英语词典
更多精彩,登录后发现......