首页
智能降重
一键组稿
论文查重
写作助手
首页
>
标签
>
关系转换论文
关系转换论文
基于扩展规则的定理证明的研究
论文摘要自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一...