1994年第5卷第7期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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