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