全部 标题 作者 关键词 摘要
Keywords: 归结,替换,合一,集合,删除策略.
Full-Text Cite this paper Add to My Lib
指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
