归结原理 [计] resolution principle
- 本文证明了MOL归结原理是完备的。
It is proved that the MOL resolution principle is complete. - 归结原理是定理机器证明中的一种基本技术。
The resolution principle is known to be a basic tool for theorem proving. - 对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
您正在访问的是
中国词汇量第二的英语词典
更多精彩,登录后发现......