1994年第5卷第7期目录

浏览其它刊期:

本期目录


	工程图尺寸标注的网状文法
	闵卫东,唐泽圣,唐龙
	1994,5(7):1-10 [摘要(3986)] [PDF 522.70 K (4945)]

	一个新的强化别名分析算法
	金国华,陈福接
	1994,5(7):11-20 [摘要(3804)] [PDF 532.54 K (4718)]

	命题时态逻辑定理证明新方法
	贲可荣,陈火旺
	1994,5(7):21-28 [摘要(3938)] [PDF 569.75 K (4257)]

	CIMBASE中分布式C预编译程序的实现研究
	周立柱,王小京
	1994,5(7):29-37 [摘要(3893)] [PDF 400.52 K (4255)]

	视觉运动信息处理神经系统
	郭雷,郭宝龙,陆心如
	1994,5(7):38-43 [摘要(3460)] [PDF 516.22 K (4195)]

	递归查询算法的研究
	怀进鹏
	1994,5(7):44-50 [摘要(3791)] [PDF 401.98 K (4257)]

	SJ—3专家系统的开发技术
	贾焰,刘江宁,吴泉源
	1994,5(7):51-55 [摘要(3497)] [PDF 490.16 K (4440)]

	基于ATMS和证据理论的不确定性推理方法
	康建初,王江
	1994,5(7):56-64 [摘要(4342)] [PDF 317.94 K (4420)]