1990年第1卷第4期目录

浏览其它刊期:

本期目录


	关于横向程序变换的若干研究
	蔡经球
	1990,1(4):1-13 [摘要(3850)] [PDF 609.21 K (4427)]

	逻辑语言中启发式控制
	胡运发,胡子昂,高洪奎,卢肇川
	1990,1(4):14-23 [摘要(3883)] [PDF 970.56 K (4001)]

	旋转曲面CAD的有理B样条方法
	王国瑾
	1990,1(4):24-39 [摘要(4726)] [PDF 661.75 K (4211)]

	知识库系统KBASE中的规则规范化理论
	马学强,施伯乐
	1990,1(4):40-47 [摘要(4235)] [PDF 478.75 K (4340)]

	BD-GKS3D图形软件的设计与实现
	董士海,张永明,王磊
	1990,1(4):48-54 [摘要(4382)] [PDF 488.46 K (4374)]

	面向对象程序设计体裁嵌入FFP-AST系统
	江明德,菊燕
	1990,1(4):55-64 [摘要(4134)] [PDF 557.13 K (4263)]