全部 标题 作者 关键词 摘要
, PP. 271-277
Keywords: 自动定理证明,配对,归结,关联,高阶逻辑
Full-Text Cite this paper Add to My Lib
peterb.andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明系统.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133