1995年第6卷第5期目录

浏览其它刊期:  
  
本期目录

  • 带否定的DATALOG的语义的不动点特性
  • 周傲英,施伯乐
  • 1995,6(5):257-264 [摘要(4083)]  [PDF(4408)518.84 K][HTML(0)]
  • 基于类型系统的元数据模型
  • 陈睿,蔡希尧
  • 1995,6(5):265-275 [摘要(4126)]  [PDF(4713)712.27 K][HTML(0)]
  • 确定任意多边形凸凹顶点的算法
  • 周培德
  • 1995,6(5):276-279 [摘要(4167)]  [PDF(4595)271.11 K][HTML(0)]
  • 行为规范作为类型
  • 梅宏,孙永强
  • 1995,6(5):280-289 [摘要(3831)]  [PDF(4370)600.08 K][HTML(0)]
  • 一个在弗协调逻辑中的限制
  • 林作铨
  • 1995,6(5):290-295 [摘要(3212)]  [PDF(4747)416.71 K][HTML(0)]
  • 装配知识库模型及其核心设计
  • 余卫东,陆玉昌,张钹
  • 1995,6(5):296-304 [摘要(3741)]  [PDF(4735)635.74 K][HTML(0)]
  • 两种客户/服务器DBMS实现及其效率研究
  • 冯玉才,金树东,王元珍
  • 1995,6(5):305-310 [摘要(3834)]  [PDF(4674)432.74 K][HTML(0)]
  • 三维计算机动画中人体建模方法的研究
  • 宋顺林,詹永照,薛安荣,伏劲松
  • 1995,6(5):311-315 [摘要(3901)]  [PDF(5027)1.24 M][HTML(0)]
  • 一种基于二叉树的元知识学习算法MKL及其应用
  • 潘金贵,陈彬,陈晶,陈世福
  • 1995,6(5):316-320 [摘要(3641)]  [PDF(4620)311.22 K][HTML(0)]
  • 用微信扫一扫

    用微信扫一扫