归结原理及其在数学定理证明中的应用 |
| |
引用本文: | 杨球,孙宝林.归结原理及其在数学定理证明中的应用[J].武汉理工大学学报(交通科学与工程版),2000,24(4):417-420. |
| |
作者姓名: | 杨球 孙宝林 |
| |
作者单位: | 1. 中国地质大学数理系 武汉 430074 2. 湖北美术学院 武汉 430060 |
| |
摘 要: | 对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
|
关 键 词: | 自动定理证明 归结原理 归结式 数学定量证明 |
修稿时间: | 2000年5月25日 |
本文献已被 维普 万方数据 等数据库收录! |
|