|
|||||
|
|
| 初等群论的证明系统EG-System | |
| 引用本文： | 刘叙华,刘卓军.初等群论的证明系统EG-System[J].计算机学报,1987(8). |
| 作者姓名： | 刘叙华 刘卓军 |
| 作者单位： | 吉林大学 (刘叙华)，吉林大学(刘卓军) |
| 摘 要： | EG-System用Lisp语言编写而成,已在aiM/16微型机上调试并运行,系统处理的问题,依照接近一阶谓词逻辑的方式给出。 EG-system总体上可看成是由控制器、推理器和知识库构成,见图1。 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号-23 |
