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