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