1995年第6卷第5期目录

浏览其它刊期:

本期目录


	带否定的DATALOG的语义的不动点特性
	周傲英,施伯乐
	1995,6(5):257-264 [摘要(3992)] [PDF 518.84 K (3801)]

	基于类型系统的元数据模型
	陈睿,蔡希尧
	1995,6(5):265-275 [摘要(4023)] [PDF 712.27 K (4072)]

	确定任意多边形凸凹顶点的算法
	周培德
	1995,6(5):276-279 [摘要(4075)] [PDF 271.11 K (3943)]

	行为规范作为类型
	梅宏,孙永强
	1995,6(5):280-289 [摘要(3748)] [PDF 600.08 K (3721)]

	一个在弗协调逻辑中的限制
	林作铨
	1995,6(5):290-295 [摘要(3137)] [PDF 416.71 K (4056)]

	装配知识库模型及其核心设计
	余卫东,陆玉昌,张钹
	1995,6(5):296-304 [摘要(3685)] [PDF 635.74 K (4061)]

	两种客户／服务器DBMS实现及其效率研究
	冯玉才,金树东,王元珍
	1995,6(5):305-310 [摘要(3765)] [PDF 432.74 K (4019)]

	三维计算机动画中人体建模方法的研究
	宋顺林,詹永照,薛安荣,伏劲松
	1995,6(5):311-315 [摘要(3781)] [PDF 1.24 M (4355)]

	一种基于二叉树的元知识学习算法MKL及其应用
	潘金贵,陈彬,陈晶,陈世福
	1995,6(5):316-320 [摘要(3561)] [PDF 311.22 K (3993)]