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

栏目

选择全部

面向对象语言Smalltalk-80的并行与分布实现技术的研究

高耀清, 郑纬民, 沈美明, 王鼎兴

1993, 30(7): 1-7.

摘要

Prolog编译的高效实现

陈怀谟

1993, 30(7): 8-12.

摘要

演绎型面向对象数据库管理系统形式模型研究

冯铃, 冯玉才

1993, 30(7): 13-17,66.

摘要

高性能知识库构造环境

史济建, 俞瑞钊, 杨枨

1993, 30(7): 18-25.

摘要

一种适用于IC-CAD数据管理的对象语言及其编译器的设计与实现

杨家海

1993, 30(7): 26-30.

摘要

EXPRESS并行编程环境

刘晓华

1993, 30(7): 31-37.

摘要

多处理机环境下UNIX文件系统的设计和实现

陈宏, 曹琳, 吴涛

1993, 30(7): 38-42,30.

摘要

洽谈支持系统(NSS)及其成功的关键

陆玉林, 陈永年, 费良俊

1993, 30(7): 43-47,53.

摘要

面向对象的可重用软部件库系统设计与实现

陈辉, 王振宇, 梁先忠, 马晓东

1993, 30(7): 48-53.

摘要

通信协议工程学进展

李腊元

1993, 30(7): 54-60.

摘要

三度等效推理

马志方, 刘大有, 丁顺利

1993, 30(7): 61-65.

摘要