1990年第1卷第1期目录

浏览其它刊期:

本期目录


	不确定型逻辑程序的综合
	王立国
	1990,1(1):1-15 [摘要(4014)] [PDF 757.65 K (5901)]

	一种适合我国动态办公环境的正文数据库检索方法
	刘怡
	1990,1(1):17-25 [摘要(4143)] [PDF 610.41 K (5154)]

	算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵
	刘叙华
	1990,1(1):26-30 [摘要(3980)] [PDF 269.02 K (4795)]

	一种面向可理解性的可复用软件开发方法
	董韫美,李开德
	1990,1(1):31-38 [摘要(4155)] [PDF 491.07 K (5448)]

	模拟Boyer-Moore定理证明器
	马素霞,郑人杰
	1990,1(1):39-45 [摘要(4826)] [PDF 468.93 K (5260)]

	XYZ系统的设计思想
	唐稚松
	1990,1(1):47-55 [摘要(4243)] [PDF 741.48 K (5430)]

	归纳程序综合系统NDIPS的设计
	徐家福,戴敏,王志坚
	1990,1(1):57-62 [摘要(4168)] [PDF 428.46 K (4999)]