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