A REASONING SYSTEM FOR COMPUTER-AIDED ENGINEERING

被引：0
作者：
LUNDBERG, B
机构：
来源：
PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS | 1984年 / 485卷
关键词：
D O I：
暂无
中图分类号：
O43 [光学];
学科分类号：
070207 ; 0803 ;
摘要：
引用
收藏
页码：65 / 72
页数：8
相关论文
共 6 条
  • [1] [Anonymous], SYMBOLIC LOGIC MECHA
  • [2] Barr A, 1981, HDB ARTIFICIAL INTEL
  • [3] MEADOW CT, 1973, ANAL INFORMATION SYS
  • [4] Nilsson N.J., 1980, PRINCIPLES ARTIFICIA
  • [5] SIMON HA, 1983, ARTIFICIAL INTELLIGE, V21
  • [6] Tennant N., 1978, NATURAL LOGIC
1