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