归结式相关论文
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。......
<正> 1.1 句群的结构方式取决于句群内句子之间的语义、语法、逻辑的多维联系,取决于句群内句子的不同地位和作用,取决于句群内句......
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。......
