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