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