1991年第2卷第4期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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

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