 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| |
1994年第5卷第7期目录
本期目录 | | | 工程图尺寸标注的网状文法 | | | 闵卫东,唐泽圣,唐龙 | | | 1994,5(7):1-10 [摘要(3021)] [PDF 522.70 K (3150)] | | | | | 一个新的强化别名分析算法 | | | 金国华,陈福接 | | | 1994,5(7):11-20 [摘要(2883)] [PDF 532.54 K (2955)] | | | | | 命题时态逻辑定理证明新方法 | | | 贲可荣,陈火旺 | | | 1994,5(7):21-28 [摘要(3024)] [PDF 569.75 K (2549)] | | | | | CIMBASE中分布式C预编译程序的实现研究 | | | 周立柱,王小京 | | | 1994,5(7):29-37 [摘要(2943)] [PDF 400.52 K (2540)] | | | | | 视觉运动信息处理神经系统 | | | 郭雷,郭宝龙,陆心如 | | | 1994,5(7):38-43 [摘要(2649)] [PDF 516.22 K (2489)] | | | | | 递归查询算法的研究 | | | 怀进鹏 | | | 1994,5(7):44-50 [摘要(2964)] [PDF 401.98 K (2511)] | | | | | SJ—3专家系统的开发技术 | | | 贾焰,刘江宁,吴泉源 | | | 1994,5(7):51-55 [摘要(2674)] [PDF 490.16 K (2651)] | | | | | 基于ATMS和证据理论的不确定性推理方法 | | | 康建初,王江 | | | 1994,5(7):56-64 [摘要(3503)] [PDF 317.94 K (2733)] | | | |
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
