1994年第5卷第10期目录

浏览其它刊期:

本期目录


	并行数据库的查询处理并行化技术和物理设计方法
	李建中
	1994,5(10):1-10 [摘要(3989)] [PDF 358.20 K (4666)]

	并行数据操作算法和查询优化技术
	李建中
	1994,5(10):11-23 [摘要(3729)] [PDF 801.06 K (4692)]

	状态逻辑型程序设计语言
	阎志欣
	1994,5(10):24-32 [摘要(3807)] [PDF 874.74 K (6987)]

	一个新的证明网定义及合理性
	黄林鹏,孙永强
	1994,5(10):33-37 [摘要(3621)] [PDF 560.02 K (3803)]

	软件过程的JMOSP模型
	张然,张育超,叶云文
	1994,5(10):38-43 [摘要(3648)] [PDF 272.30 K (4015)]

	广义查询的计数算法
	范明,李连友
	1994,5(10):44-49 [摘要(3775)] [PDF 466.45 K (3803)]

	逻辑程序的并行性粒度的分析
	黄志毅,胡守仁
	1994,5(10):50-54 [摘要(3285)] [PDF 416.31 K (3749)]

	允许错误的（汉字）字符串快速检索技术
	邹旭楷,王素琴
	1994,5(10):55-59 [摘要(3988)] [PDF 284.51 K (3940)]

	基于知识的可重用构件查询系统KCQ
	余江,全炳哲,金淳兆
	1994,5(10):60-64 [摘要(3501)] [PDF 311.94 K (3918)]