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