基于配对方法的自动定理证明

智库首页 > 智库成果 > 期刊论文

基于配对方法的自动定理证明

陈玉泉陆汝占余皓 · 1997

收藏

阅读量：11

自动定理证明，配对，归结，关联，高阶逻辑

期刊名称：

软件学报 1997 年 04 期

摘要：

ＰｅｔｅｒＢ．Ａｎｄｒｅｗｓ提出了自动定理证明的配对方法的理论和算法．本文针对该算法的缺点，给出了一个无需回溯的实现算法，并得到一个高阶逻辑的自动定理证明系统

相关专家

相关课题