1990年第1卷第1期目录
不确定型逻辑程序的综合王立国1990,1(1):1-15 [摘要(3950)] [PDF(5287)757.65 K][HTML(0)]一种适合我国动态办公环境的正文数据库检索方法刘怡1990,1(1):17-25 [摘要(4090)] [PDF(4563)610.41 K][HTML(0)]算子Fuzzy逻辑中的λ—蕴涵和λ—强蕴涵刘叙华1990,1(1):26-30 [摘要(3936)] [PDF(4244)269.02 K][HTML(0)]一种面向可理解性的可复用软件开发方法董韫美,李开德1990,1(1):31-38 [摘要(4087)] [PDF(4793)491.07 K][HTML(0)]模拟Boyer-Moore定理证明器马素霞,郑人杰1990,1(1):39-45 [摘要(4730)] [PDF(4635)468.93 K][HTML(0)]XYZ系统的设计思想唐稚松1990,1(1):47-55 [摘要(4135)] [PDF(4813)741.48 K][HTML(0)]归纳程序综合系统NDIPS的设计徐家福,戴敏,王志坚1990,1(1):57-62 [摘要(4110)] [PDF(4455)428.46 K][HTML(0)]