1991年第2卷第4期目录
紧凑(a,b)树张希,李万学1991,2(4):1-11 [摘要(3978)] [PDF(4678)588.76 K][HTML(0)]自动文摘系统EAAS李小滨,徐越1991,2(4):12-18 [摘要(4223)] [PDF(5812)449.95 K][HTML(0)]PARLOG顺序编译实现技术郑纬民,杨和平1991,2(4):19-22 [摘要(4234)] [PDF(5146)323.23 K][HTML(0)]证明策略及其有效性问题何锫1991,2(4):23-30 [摘要(3904)] [PDF(4680)398.72 K][HTML(0)]建立于谓词逻辑上的递归程序及其操作语义邵志清1991,2(4):31-35 [摘要(3803)] [PDF(5056)316.82 K][HTML(0)]一个支持软件重用的信息检索系统—KDZ张少平,王怀民,陈火旺1991,2(4):36-41 [摘要(3611)] [PDF(4818)375.46 K][HTML(0)]模块硅编译专家系统—SCES杨乔林1991,2(4):42-47 [摘要(4280)] [PDF(4776)409.35 K][HTML(0)]KBE—Pascal:基于知识的程序编辑郑国梁,唐清1991,2(4):48-53 [摘要(3435)] [PDF(4675)418.51 K][HTML(0)]面向概念的通用知识获取系统王申康1991,2(4):54-60 [摘要(3928)] [PDF(4720)455.92 K][HTML(0)]
