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)

模式识别与人工智能

基于搭配词典的词汇语义驱动算法*
  唐泓英,姚天顺
  1995,6(1):78-85
  [摘要](4394)  [PDF](355)