|
|||||
|
|
| PROLOG与定理的自动证明 | |
| 引用本文： | 王治和.PROLOG与定理的自动证明[J].西北师范大学学报,1987(4). |
| 作者姓名： | 王治和 |
| 摘 要： | 本文试从谓词公式简化后的PROLOG子句标记法和归结的意义出发,讨论用PROLOG实现定理证明的方法.主要内容包括:谓词公式的简化及其PROLOG形式表示;归结与定理证明的思想;用PROLOG证明定理的方法. |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||
|
||||||||||||||||
|
||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |