 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
1993年第4卷第3期目录
本期目录 | | | 专家系统开发环境NEW的设计与实现 | | | 陈世福,潘金贵,袁峰,童立 | | | 1993,4(3):1-7 [摘要(3339)] [PDF 451.49 K (3313)] | | | | | 形式化模糊量词及推理 | | | 石生利,刘叙华 | | | 1993,4(3):8-14 [摘要(3058)] [PDF 415.86 K (3122)] | | | | | 人机显示屏界面软件CPANEL Plus | | | 王玉书,庞大凡 | | | 1993,4(3):15-19 [摘要(2879)] [PDF 379.40 K (3028)] | | | | | 一种区域边界的识别和区域标记算法与应用 | | | 陈世福,潘金贵,胡滨,罗秋清 | | | 1993,4(3):20-25 [摘要(3373)] [PDF 394.27 K (3194)] | | | | | 知识求精的基本理论与方法的研究 | | | 杨莉,胡守仁 | | | 1993,4(3):26-30 [摘要(3057)] [PDF 385.50 K (2684)] | | | | | 解释学习中的多知识库协作 | | | 石纯一,龚义涛 | | | 1993,4(3):31-34 [摘要(2922)] [PDF 292.62 K (3016)] | | | | | 序佩特里(Petri)网计算能力分析 | | | 王永革 | | | 1993,4(3):35-41 [摘要(2629)] [PDF 421.82 K (2890)] | | | | | Horn逻辑上的范畴等价及方法推广 | | | 王怀民 | | | 1993,4(3):42-44 [摘要(3208)] [PDF 198.83 K (2945)] | | | | | 具有两级不确定性的推理模型 | | | 刘大有,钟少春,高雅卿 | | | 1993,4(3):45-52 [摘要(3256)] [PDF 463.51 K (3176)] | | | | | 关于Peterson—Fischer二进程算法的断言式证明 | | | 苏运霖 | | | 1993,4(3):53-57 [摘要(3366)] [PDF 308.28 K (2639)] | | | | | LPS程序的过程语义 | | | 赵春晓,李磊 | | | 1993,4(3):58-60 [摘要(3903)] [PDF 232.10 K (3176)] | | | | | 一种并行性检测算法 | | | 陈镐缨 | | | 1993,4(3):61-64 [摘要(3208)] [PDF 274.97 K (2824)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
