1990年第1卷第4期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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