计算机研究与发展 1987年 24卷 6期

栏目

选择全部

并发PASCAL编译系统的实现算法

孙家驌

1987, 24(6): 1-8.

摘要

一个基于关系数据库的Prolog系统

杨至成

1987, 24(6): 9-15.

摘要

计算机符号积分系统INTG

陈建华

1987, 24(6): 16-21.

摘要

路径表达式与3型文法之间的等价性

马志方

1987, 24(6): 22-26.

摘要

下推自动机的逻辑计算类型

唐守文, 陈良

1987, 24(6): 27-30.

摘要

Prolog程序的规范与自动综合

孙怀民, 王立国

1987, 24(6): 31-41.

摘要

可重排网络的控制算法

王鼎兴

1987, 24(6): 42-54.

摘要

Bayes公式在专家系统中的应用

王申康

1987, 24(6): 55-64.

摘要