A FORMAL DEDUCTIVE PROBLEM-SOLVING SYSTEM

被引：12
作者：
QUINLAN, JR
HUNT, EB
机构：
来源：
JOURNAL OF THE ACM | 1968年 / 15卷 / 04期
关键词：
D O I：
10.1145/321479.321487
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：625 / &
相关论文
共 19 条
  • [1] ERNST G, 1967, GENERALITY GPS TECH
  • [2] ERNST GW, 1967, SPR P AFIPS, V30, P583
  • [3] FEIGENBAUM EA, 1963, COMPUTERS THOUGHT ED, P279
  • [4] FEIGENBAUM EA, 1963, COMPUT THOUGHT, P71
  • [5] FEIGENBAUM EA, 1963, COMPUT THOUGHT, P406
  • [6] GREENBLATT RD, 1967, FAL P AFIPS JOINT CO, V31, P801
  • [7] LEDLEY R, 1962, PROGRAMMING UTILIZAT
  • [8] Minsky M. L., 1963, COMPUT THOUGHT, P406
  • [9] Newell A., 1963, COMPUT THOUGHT, P279
  • [10] NEWELL A, 1960, 1959 P INT C INF PRO, P256
12