计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2007年
5期
183,187
,共2页
归结原理%子句%归结式
歸結原理%子句%歸結式
귀결원리%자구%귀결식
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用.
歸結縯繹推理是一種在計算機上得到較好實現的基于歸結原理的推理技術,介紹歸結原理的基本思想以及它在自動推理中的應用.
귀결연역추리시일충재계산궤상득도교호실현적기우귀결원리적추리기술,개소귀결원리적기본사상이급타재자동추리중적응용.
