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