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.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Do the maximum possible to avoid an enlargement is a win-win principle, dispute resolution.
做最大可能的避免事件扩大化，双赢是解决纠纷的原则。
The principle and resolution method of this model were detailed.
详细介绍该模型的原理以及求解方法。
The principle and resolution method of this model were detailed.
详细介绍该模型的原理以及求解方法。
应用推荐