1994年第5卷第12期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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