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