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 .

[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