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