1994年第5卷第12期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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