1) blocking principle
归拔原理
2) press in;press out
归拔
3) resolution principle
归结原理
1.
Research on extensible markup language problem solving based on resolution principle;
基于归结原理的可扩展标识语言问题求解
2.
The Exploration of Problem Solving based on Resolution Principle;
用归结原理进行问题求解的探索
3.
It discusses carefully the basic concepts and inference rule of the resolution principle.
对归结原理的基本概念与推理规则进行了讨论 ,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用 。
5) arithmetical fandamental theorem
归反原理
1.
The arithmetical fandamental theorem is provedsimply by the principle of inductive-disproof, and some other natural number s proposition can be proved by this princi-ple.
论述了归反原理,作出了算术基本定理的一个简单证明,并指出归反原理还可用于其它有关自然数命题的证明。
6) principle of imputation
归责原理
补充资料：拔归
1.脱身归来。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条