1994年第5卷第12期目录
一种面向软件工程的时序逻辑语言唐稚松,赵琛1994,5(12):1-16 [摘要(4564)] [PDF(5132)861.02 K][HTML(0)]关于在演绎数据库系统研究中引入一种新的关系的一些探讨徐洁磐1994,5(12):17-23 [摘要(3976)] [PDF(4351)165.28 K][HTML(0)]利用关联矩阵的秩判断Petri网的公平性王培良,蒋昌俊1994,5(12):24-29 [摘要(4568)] [PDF(4959)456.62 K][HTML(0)]关于空间三角网格上G1插值的阶数姜寿山1994,5(12):30-37 [摘要(3981)] [PDF(4651)272.30 K][HTML(0)]凸壳问题的计算时间下界王晓东1994,5(12):38-43 [摘要(3766)] [PDF(4603)97.68 K][HTML(0)]深表层推理模型HELI曹存根1994,5(12):44-50 [摘要(3753)] [PDF(4652)408.59 K][HTML(0)]ADA—DDBMS中的并发控制陈东辉,韦梓楚1994,5(12):51-56 [摘要(4077)] [PDF(4466)97.61 K][HTML(0)]
