COMPUTER SCIENCE AS EMPIRICAL INQUIRY - SYMBOLS AND SEARCH

被引:812
作者
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. [J].
MCCARTHY, 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]