1992年第3卷第2期目录
基于CCS执行模型的逻辑式语言POLYLOG的设计与实现徐凯,章萃1992,3(2):1-8 [摘要(4129)] [PDF(4763)422.17 K][HTML(0)]问题的有序分解及中转站网络胡振华,万发贯1992,3(2):9-14 [摘要(3907)] [PDF(4842)395.27 K][HTML(0)]自然语言句法分析的顺序控制算法宋柔,王鑫1992,3(2):15-20 [摘要(4009)] [PDF(5007)388.96 K][HTML(0)]方程式语言及其实现陆汝占,韩启龙,林凯,奚宏伟,孙永强1992,3(2):21-28 [摘要(3969)] [PDF(4709)473.69 K][HTML(0)]一个基于位向量存储结构的统计与科学数据库管理系统原型李建中1992,3(2):29-36 [摘要(3813)] [PDF(4679)511.97 K][HTML(0)]SAIS:一个基于规则的软件结构分析集成系统费翔林,王和珍,汪承藻,魏红,朱根江1992,3(2):37-44 [摘要(3422)] [PDF(5105)614.49 K][HTML(0)]一种基于JSD方法的规格说明语言及其支撑系统的设计与开发刘琳,徐永森,严明1992,3(2):45-52 [摘要(4393)] [PDF(4890)492.88 K][HTML(0)]基于知识的软件全程生成系统体系结构设计与综合吴振容1992,3(2):53-59 [摘要(3830)] [PDF(4547)554.02 K][HTML(0)]三种归结原理间的相容性问题刘叙华1992,3(2):60-64 [摘要(4177)] [PDF(5080)319.02 K][HTML(0)]
