It is proved that the MOL resolution principle is complete.
本文证明了MOL归结原理是完备的。
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Aiming at current domain name system (DNS), this paper has analyzed its work procedure and domain name resolution principle and pointed out the directions of optimizing performance.
针对当前域名系统，通过分析其工作过程和域名解析的原理，指出其性能优化的方向。
The high range resolution principle and Doppler performance is analyzed. The effect of velocity and acceleration on one-dimensional high range resolution is calculated through simulation.
分析其高距离分辨原理及多普勒性能，通过仿真，计算速度、加速度对一维距离高分辨的影响。
Aiming at current domain name system (DNS), this paper analyzes its work procedure and domain name resolution principle and discusses the optimizing performance.
针对当前域名系统，通过分析其域名解析的原理，指出其性能优化的方向。
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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
应用推荐