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