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)