| |
1995年第6卷第1期目录
本期目录 | | | Prolog实现技术中的原型共享思想 | | | 王健,程虎 | | | 1995,6(1):1-7 [摘要(3486)] [PDF 433.79 K (4033)] | | | | | 一种类比匹配原理及其实现 | | | 李波,罗玉龙,赵沁平 | | | 1995,6(1):8-16 [摘要(3655)] [PDF 524.62 K (4599)] | | | | | Eiffel语言的语义 | | | 李师贤,阮文江 | | | 1995,6(1):17-25 [摘要(3982)] [PDF 494.46 K (4667)] | | | | | 基于可重用方法的库与应用程序接口开发环境 | | | 杨家海，,柳西玲 | | | 1995,6(1):26-32 [摘要(3884)] [PDF 463.55 K (4734)] | | | | | 结构化证明搜索 | | | 谭庆平,陈火旺 | | | 1995,6(1):33-40 [摘要(3757)] [PDF 419.23 K (4465)] | | | | | 高效异步并行图算法及ADA的实现 | | | 马军,马绍汉 | | | 1995,6(1):41-45 [摘要(3844)] [PDF 274.64 K (4386)] | | | | | 分布进程间通信合作因果关系及因果序的保证 | | | 赵宏,李华天 | | | 1995,6(1):46-51 [摘要(3686)] [PDF 377.27 K (4577)] | | | | | 对象的类比推理研究 | | | 诸葛海 | | | 1995,6(1):52-60 [摘要(3418)] [PDF 516.94 K (4735)] | | | | | 关系数据库中的模糊知识发现 | | | 杨雪南,李德毅 | | | 1995,6(1):61-64 [摘要(3716)] [PDF 270.35 K (4391)] | | | |
模式识别与人工智能
|
