1991年第2卷第4期目录

浏览其它刊期:

本期目录


	紧凑(a,b)树
	张希,李万学
	1991,2(4):1-11 [摘要(3903)] [PDF 588.76 K (4399)]

	自动文摘系统EAAS
	李小滨,徐越
	1991,2(4):12-18 [摘要(4128)] [PDF 449.95 K (5500)]

	PARLOG顺序编译实现技术
	郑纬民,杨和平
	1991,2(4):19-22 [摘要(4173)] [PDF 323.23 K (4823)]

	证明策略及其有效性问题
	何锫
	1991,2(4):23-30 [摘要(3817)] [PDF 398.72 K (4367)]

	建立于谓词逻辑上的递归程序及其操作语义
	邵志清
	1991,2(4):31-35 [摘要(3717)] [PDF 316.82 K (4758)]

	一个支持软件重用的信息检索系统—KDZ
	张少平,王怀民,陈火旺
	1991,2(4):36-41 [摘要(3537)] [PDF 375.46 K (4529)]

	模块硅编译专家系统—SCES
	杨乔林
	1991,2(4):42-47 [摘要(4179)] [PDF 409.35 K (4468)]

	KBE—Pascal:基于知识的程序编辑
	郑国梁,唐清
	1991,2(4):48-53 [摘要(3333)] [PDF 418.51 K (4392)]

	面向概念的通用知识获取系统
	王申康
	1991,2(4):54-60 [摘要(3858)] [PDF 455.92 K (4445)]