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