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