集合蕴涵模归结相关硕士博士期刊学术论文 - 信丰网

集合蕴涵模归结相关论文

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率.针对子句冗余性的判......

期刊

集合蕴涵模归结一阶逻辑蕴涵模归结子句消去方法预处理方法 set implication modulo resolutionfirst-order log

看过本文同时还关注