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