1990年第1卷第2期目录
通过程序变换对数字系统进行优化胡振江,孙永强1990,1(2):1-11 [摘要(4326)] [PDF(5174)540.17 K][HTML(0)]Occam语言的时态语义耿峻,谭新明1990,1(2):12-27 [摘要(4309)] [PDF(5237)859.41 K][HTML(0)]在不同DBMS上的数据库转换唐世渭,杨冬青,裴芳1990,1(2):28-38 [摘要(3895)] [PDF(5562)616.41 K][HTML(0)]需求描述及分析工具CPSL/CPSA许龙山,吴东升,程崇炎1990,1(2):39-47 [摘要(4288)] [PDF(14214)486.39 K][HTML(0)]智能CAD工具杨乔林1990,1(2):48-55 [摘要(4607)] [PDF(5558)1021.39 K][HTML(0)]微机网上的分布式专家联合系统UNION(上)赵致琢,庄庆雨,曹华,陆汝钤1990,1(2):56-64 [摘要(4432)] [PDF(5071)481.75 K][HTML(0)]
