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