1995年第6卷第1期目录
Prolog实现技术中的原型共享思想王健,程虎1995,6(1):1-7 [摘要(3433)] [PDF(3656)433.79 K][HTML(0)]一种类比匹配原理及其实现李波,罗玉龙,赵沁平1995,6(1):8-16 [摘要(3611)] [PDF(4211)524.62 K][HTML(0)]Eiffel语言的语义李师贤,阮文江1995,6(1):17-25 [摘要(3896)] [PDF(4248)494.46 K][HTML(0)]基于可重用方法的库与应用程序接口开发环境杨家海，,柳西玲1995,6(1):26-32 [摘要(3852)] [PDF(4339)463.55 K][HTML(0)]结构化证明搜索谭庆平,陈火旺1995,6(1):33-40 [摘要(3721)] [PDF(4041)419.23 K][HTML(0)]高效异步并行图算法及ADA的实现马军,马绍汉1995,6(1):41-45 [摘要(3795)] [PDF(3985)274.64 K][HTML(0)]分布进程间通信合作因果关系及因果序的保证赵宏,李华天1995,6(1):46-51 [摘要(3633)] [PDF(4143)377.27 K][HTML(0)]对象的类比推理研究诸葛海1995,6(1):52-60 [摘要(3374)] [PDF(4303)516.94 K][HTML(0)]关系数据库中的模糊知识发现杨雪南,李德毅1995,6(1):61-64 [摘要(3677)] [PDF(3968)270.35 K][HTML(0)]
基于搭配词典的词汇语义驱动算法*唐泓英,姚天顺1995,6(1):78-85 [摘要(3781)] [PDF(355)][HTML(0)]
