1992年第3卷第2期目录

浏览其它刊期:

本期目录


	基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
	徐凯,章萃
	1992,3(2):1-8 [摘要(4058)] [PDF 422.17 K (4483)]

	问题的有序分解及中转站网络
	胡振华,万发贯
	1992,3(2):9-14 [摘要(3828)] [PDF 395.27 K (4567)]

	自然语言句法分析的顺序控制算法
	宋柔,王鑫
	1992,3(2):15-20 [摘要(3931)] [PDF 388.96 K (4734)]

	方程式语言及其实现
	陆汝占,韩启龙,林凯,奚宏伟,孙永强
	1992,3(2):21-28 [摘要(3880)] [PDF 473.69 K (4434)]

	一个基于位向量存储结构的统计与科学数据库管理系统原型
	李建中
	1992,3(2):29-36 [摘要(3730)] [PDF 511.97 K (4400)]

	SAIS:一个基于规则的软件结构分析集成系统
	费翔林,王和珍,汪承藻,魏红,朱根江
	1992,3(2):37-44 [摘要(3309)] [PDF 614.49 K (4789)]

	一种基于JSD方法的规格说明语言及其支撑系统的设计与开发
	刘琳,徐永森,严明
	1992,3(2):45-52 [摘要(4308)] [PDF 492.88 K (4603)]

	基于知识的软件全程生成系统体系结构设计与综合
	吴振容
	1992,3(2):53-59 [摘要(3765)] [PDF 554.02 K (4288)]

	三种归结原理间的相容性问题
	刘叙华
	1992,3(2):60-64 [摘要(4081)] [PDF 319.02 K (4806)]