计算机研究与发展 1993年 30卷 12期

栏目

选择全部

抽象算法C-T-ABS和ABSTRACT的理论推导与等价性证明

杨祥金

1993, 30(12): 1-11.

摘要

泛函程序设计语言实现中的图归约演算

杨祥金

1993, 30(12): 12-25.

摘要

基于模糊稀疏度的聚类分析

李本海, 杨德礼

1993, 30(12): 26-30.

摘要

基于梯子迭代求解全部候选关键字算法

周定康

1993, 30(12): 31-35.

摘要

基于EER的数据库集成方法的研究

王国仁, 郑怀远

1993, 30(12): 36-40,35.

摘要

连接PROLOG与DBMS系统的专用、并行通信技术

李磊, 李希春

1993, 30(12): 41-43,66.

摘要

FKMS不精确知识库管理系统的设计与实现

杨莉, 杨权, 胡守仁

1993, 30(12): 44-51,25.

摘要

机械设计专家系统中的不精确推理模型

吴慧中, 贺年, 王梅凌

1993, 30(12): 52-57.

摘要

OEC:一个面向对象的专家系统构造工具

田盛丰

1993, 30(12): 58-62,57.

摘要

《计算机研究与发展》1993年(第30卷)总目录

1993, 30(12): 63-65.

摘要