PI归结相关论文
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型,本文给出了一种新的PI推理的定义,并且对PI归结的......
PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是P......