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