COMPUTER SCIENCE AS EMPIRICAL INQUIRY - SYMBOLS AND SEARCH

被引：796

作者：

NEWELL, A ^{[1
]}

SIMON, HA ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV,PITTSBURGH,PA 15213

来源：

关键词：

D O I：

10.1145/360018.360022

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：113 / 126

页数：14

相关论文

共 5 条

[1] BERLINER H, 1975, THESIS CARNEGIE MELL
[2] RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE, .1.
MCCARTHY, J
[J]. COMMUNICATIONS OF THE ACM, 1960, 3 (04) : 184 - 195
[3] MCCULLOCH WS, 1961, 26 GEN SEM B, P7
[4] Nilsson N.J., 1971, PROBLEM SOLVING METH
[5] Turing Alan M., 1950, MINDS, V59, P433, DOI [10.1093/mind/LIX.236.433arXiv:https://academic.oup.com/mind/article-pdf/LIX/236/433/30123314/lix-236-433.pdf, DOI 10.1093/MIND/LIX.236.433]