A LOGICAL ARGUMENT ABOUT ARTIFICIAL-INTELLIGENCE

被引:0
作者
COTOGNO, PG
机构
[1] 81 Via Corsica, I-25100 Brescia, Italy
关键词
Compendex;
D O I
暂无
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
Systems science and cybernetics
引用
收藏
页码:525 / 537
页数:13
相关论文
共 36 条
[1]  
ANDREKA H, 1976, 21 U ED DEPT ART INT
[2]  
[Anonymous], SYMBOLIC LOGIC MECHA
[3]  
BELNAP ND, 1968, NOUS, V2, P177
[4]  
CARNAP R, 1967, MEANING NECESSITY
[5]   OTHER TURING MACHINE [J].
CARPENTER, BE ;
DORAN, RW .
COMPUTER JOURNAL, 1977, 20 (03) :269-279
[6]  
CHANDRA AK, 1975, J COMPUTER LANGUAGES, V1, P219
[7]  
CHIHARA CS, 1965, PHILOS REV, V74
[8]  
CHURCH A, 1951, P AM ACAD ARTS SCI, V80, P100
[9]  
Church A, 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326
[10]  
Dreyfus H. L., 1972, WHAT COMPUTERS CANT