1994年第5卷第7期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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

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