本文证明了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.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
Semantic resolution, lock resolution and linear resolution are three important improvements of resolution principle.
应用推荐