1995年第6卷第5期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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

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