 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
1991年第2卷第4期目录
本期目录 | | | 紧凑(a,b)树 | | | 张希,李万学 | | | 1991,2(4):1-11 [摘要(3150)] [PDF 588.76 K (2876)] | | | | | 自动文摘系统EAAS | | | 李小滨,徐越 | | | 1991,2(4):12-18 [摘要(3358)] [PDF 449.95 K (3652)] | | | | | PARLOG顺序编译实现技术 | | | 郑纬民,杨和平 | | | 1991,2(4):19-22 [摘要(3440)] [PDF 323.23 K (3161)] | | | | | 证明策略及其有效性问题 | | | 何锫 | | | 1991,2(4):23-30 [摘要(3088)] [PDF 398.72 K (2708)] | | | | | 建立于谓词逻辑上的递归程序及其操作语义 | | | 邵志清 | | | 1991,2(4):31-35 [摘要(3046)] [PDF 316.82 K (2968)] | | | | | 一个支持软件重用的信息检索系统—KDZ | | | 张少平,王怀民,陈火旺 | | | 1991,2(4):36-41 [摘要(2963)] [PDF 375.46 K (2911)] | | | | | 模块硅编译专家系统—SCES | | | 杨乔林 | | | 1991,2(4):42-47 [摘要(3425)] [PDF 409.35 K (2830)] | | | | | KBE—Pascal:基于知识的程序编辑 | | | 郑国梁,唐清 | | | 1991,2(4):48-53 [摘要(2661)] [PDF 418.51 K (2750)] | | | | | 面向概念的通用知识获取系统 | | | 王申康 | | | 1991,2(4):54-60 [摘要(3184)] [PDF 455.92 K (2847)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
