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