Herbrand语义特征相关硕士博士期刊学术论文 - 信丰网

Herbrand语义特征相关论文

一阶逻辑中基于稳定度的项评估方法

针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量......

期刊

一阶逻辑自动定理证明器项评估启发式策略 Herbrand语义特征 first-order logicAutomated Theorem Prover(AT

看过本文同时还关注