GAMES LOGIC AND COMPUTERS

被引：31
作者：
WANG, H
机构：
来源：
SCIENTIFIC AMERICAN | 1965年 / 213卷 / 05期
关键词：
D O I：
10.1038/scientificamerican1165-98
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：98 / &
相关论文
共 3 条
[1]  
HILBERT D, 1950, PRINCIPLES MATHEMATI
[2]  
WANG H, 1963, P S MATHEMATICAL THE, V12
[3]  
1965, UNDECIDABLE BASIC PA
1