|
|||||
|
|
| 归结原理及其应用 | |
| 引用本文： | 肖启莉,肖启敏.归结原理及其应用[J].计算机与数字工程,2007,35(5):183-184. |
| 作者姓名： | 肖启莉 肖启敏 |
| 作者单位： | 浙江万里学院,宁波,315100;空军第一航空学院,信阳,464000 |
| 摘 要： | 归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。 |
| 关 键 词： | 归结原理 子句 归结式 |
| 修稿时间： | 2006年10月25 |
Application of Resolution Principle |
|
| Xiao Qili,Xiao Qimin.Application of Resolution Principle[J].Computer and Digital Engineering,2007,35(5):183-184. | |
| Authors: | Xiao Qili Xiao Qimin |
| Abstract: | |
| Keywords: | resolution principle clause resolution formula |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |