| |
1994年第5卷第10期目录
本期目录 | | | 并行数据库的查询处理并行化技术和物理设计方法 | | | 李建中 | | | 1994,5(10):1-10 | | | [摘要](4814) [PDF 358.20 K](6301) | | | 并行数据操作算法和查询优化技术 | | | 李建中 | | | 1994,5(10):11-23 | | | [摘要](4472) [PDF 801.06 K](6246) | | | 状态逻辑型程序设计语言 | | | 阎志欣 | | | 1994,5(10):24-32 | | | [摘要](4502) [PDF 874.74 K](8474) | | | 一个新的证明网定义及合理性 | | | 黄林鹏,孙永强 | | | 1994,5(10):33-37 | | | [摘要](4278) [PDF 560.02 K](5274) | | | 软件过程的JMOSP模型 | | | 张然,张育超,叶云文 | | | 1994,5(10):38-43 | | | [摘要](4291) [PDF 272.30 K](5499) | | | 广义查询的计数算法 | | | 范明,李连友 | | | 1994,5(10):44-49 | | | [摘要](4384) [PDF 466.45 K](5411) | | | 逻辑程序的并行性粒度的分析 | | | 黄志毅,胡守仁 | | | 1994,5(10):50-54 | | | [摘要](3944) [PDF 416.31 K](5125) | | | 允许错误的（汉字）字符串快速检索技术 | | | 邹旭楷,王素琴 | | | 1994,5(10):55-59 | | | [摘要](4709) [PDF 284.51 K](5257) | | | 基于知识的可重用构件查询系统KCQ | | | 余江,全炳哲,金淳兆 | | | 1994,5(10):60-64 | | | [摘要](4147) [PDF 311.94 K](5351) | |
|
