1990年第1卷第1期目录

浏览其它刊期:

本期目录


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

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

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

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

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

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

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