| |
1990年第1卷第3期目录
本期目录 | | | UNIX中文信息处理系统实现的方案和技术 | | | 孙玉方 | | | 1990,1(3):1-9 [摘要(3970)] [PDF 556.02 K (5063)] | | | | | 示例式学习某些理论的研究 | | | 李红斌,王开铸,郭克俭 | | | 1990,1(3):10-14 [摘要(3753)] [PDF 687.26 K (4586)] | | | | | 基于设计决定的逐步求精方法及环境 | | | 缪旭,唐稚松 | | | 1990,1(3):15-25 [摘要(3782)] [PDF 712.83 K (4589)] | | | | | 一类ω—正则语言 | | | 苏锦祥 | | | 1990,1(3):29-32 [摘要(4401)] [PDF 224.55 K (4598)] | | | | | 微机网上的分布式专家联合系统UNION(下) | | | 赵致琢,庄庆雨,曹华,陆汝钤 | | | 1990,1(3):33-44 [摘要(3746)] [PDF 627.09 K (4521)] | | | | | Prology程序部分计算的研究与实现 | | | 邓铁清,胡运发 | | | 1990,1(3):45-58 [摘要(3560)] [PDF 717.51 K (4761)] | | | | | 具有代数算子的λ演算系统的模型构造 | | | 陆汝占,张政,孙永强 | | | 1990,1(3):59-64 [摘要(4184)] [PDF 323.06 K (4781)] | | | |
|
