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