1994年第5卷第12期目录

浏览其它刊期:

本期目录


	一种面向软件工程的时序逻辑语言
	唐稚松,赵琛
	1994,5(12):1-16 [摘要(4399)] [PDF 861.02 K (4762)]

	关于在演绎数据库系统研究中引入一种新的关系的一些探讨
	徐洁磐
	1994,5(12):17-23 [摘要(3878)] [PDF 165.28 K (4052)]

	利用关联矩阵的秩判断Petri网的公平性
	王培良,蒋昌俊
	1994,5(12):24-29 [摘要(4497)] [PDF 456.62 K (4623)]

	关于空间三角网格上G1插值的阶数
	姜寿山
	1994,5(12):30-37 [摘要(3908)] [PDF 272.30 K (4362)]

	凸壳问题的计算时间下界
	王晓东
	1994,5(12):38-43 [摘要(3676)] [PDF 97.68 K (4276)]

	深表层推理模型HELI
	曹存根
	1994,5(12):44-50 [摘要(3689)] [PDF 408.59 K (4366)]

	ADA—DDBMS中的并发控制
	陈东辉,韦梓楚
	1994,5(12):51-56 [摘要(3998)] [PDF 97.61 K (4199)]