全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  1997 

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

, PP. 271-277

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

Full-Text   Cite this paper   Add to My Lib

Abstract:

peterb.andrews提出了自动定理证明的配对方法的理论和算法.本文针对该算法的缺点,给出了一个无需回溯的实现算法,并得到一个高阶逻辑的自动定理证明系统.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133