1992年第3卷第2期目录

浏览其它刊期:  
  
本期目录

  • 基于CCS执行模型的逻辑式语言POLYLOG的设计与实现
  • 徐凯,章萃
  • 1992,3(2):1-8 [摘要(4092)]  [PDF(4652)422.17 K][HTML(0)]
  • 问题的有序分解及中转站网络
  • 胡振华,万发贯
  • 1992,3(2):9-14 [摘要(3870)]  [PDF(4731)395.27 K][HTML(0)]
  • 自然语言句法分析的顺序控制算法
  • 宋柔,王鑫
  • 1992,3(2):15-20 [摘要(3971)]  [PDF(4887)388.96 K][HTML(0)]
  • 方程式语言及其实现
  • 陆汝占,韩启龙,林凯,奚宏伟,孙永强
  • 1992,3(2):21-28 [摘要(3921)]  [PDF(4588)473.69 K][HTML(0)]
  • 一个基于位向量存储结构的统计与科学数据库管理系统原型
  • 李建中
  • 1992,3(2):29-36 [摘要(3773)]  [PDF(4563)511.97 K][HTML(0)]
  • SAIS:一个基于规则的软件结构分析集成系统
  • 费翔林,王和珍,汪承藻,魏红,朱根江
  • 1992,3(2):37-44 [摘要(3377)]  [PDF(4964)614.49 K][HTML(0)]
  • 一种基于JSD方法的规格说明语言及其支撑系统的设计与开发
  • 刘琳,徐永森,严明
  • 1992,3(2):45-52 [摘要(4351)]  [PDF(4780)492.88 K][HTML(0)]
  • 基于知识的软件全程生成系统体系结构设计与综合
  • 吴振容
  • 1992,3(2):53-59 [摘要(3792)]  [PDF(4434)554.02 K][HTML(0)]
  • 三种归结原理间的相容性问题
  • 刘叙华
  • 1992,3(2):60-64 [摘要(4138)]  [PDF(4974)319.02 K][HTML(0)]
  • 用微信扫一扫

    用微信扫一扫