自动定理证明器论文

一阶逻辑中基于稳定度的项评估方法
论文摘要针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于...