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