1994年第5卷第10期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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

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