| |
1995年第6卷第5期目录
本期目录 | | | 带否定的DATALOG的语义的不动点特性 | | | 周傲英,施伯乐 | | | 1995,6(5):257-264 | | | [摘要](4621) [PDF 518.84 K](5110) | | | 基于类型系统的元数据模型 | | | 陈睿,蔡希尧 | | | 1995,6(5):265-275 | | | [摘要](4724) [PDF 712.27 K](5513) | | | 确定任意多边形凸凹顶点的算法 | | | 周培德 | | | 1995,6(5):276-279 | | | [摘要](4675) [PDF 271.11 K](5478) | | | 行为规范作为类型 | | | 梅宏,孙永强 | | | 1995,6(5):280-289 | | | [摘要](4413) [PDF 600.08 K](5115) | | | 一个在弗协调逻辑中的限制 | | | 林作铨 | | | 1995,6(5):290-295 | | | [摘要](4000) [PDF 416.71 K](5519) | | | 装配知识库模型及其核心设计 | | | 余卫东,陆玉昌,张钹 | | | 1995,6(5):296-304 | | | [摘要](4291) [PDF 635.74 K](5530) | | | 两种客户／服务器DBMS实现及其效率研究 | | | 冯玉才,金树东,王元珍 | | | 1995,6(5):305-310 | | | [摘要](4448) [PDF 432.74 K](5514) | | | 三维计算机动画中人体建模方法的研究 | | | 宋顺林,詹永照,薛安荣,伏劲松 | | | 1995,6(5):311-315 | | | [摘要](4548) [PDF 1.24 M](5985) | | | 一种基于二叉树的元知识学习算法MKL及其应用 | | | 潘金贵,陈彬,陈晶,陈世福 | | | 1995,6(5):316-320 | | | [摘要](4241) [PDF 311.22 K](5349) | |
|
