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