发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Computer Studies of Turing Machine Problems.by Shen Lin; Tibor Rado;The Conjectured Highest Scoring Machines for Rado's ∑(k) for the Value K = 4.by Allen H. Brady;A Lower Bound on Rado's Sigma Function for Binary Turing Machines.by Milton W. Green

Computer Studies of Turing Machine Problems.by Shen Lin; Tibor Rado;The Conjectured Highest Scoring Machines for Rado's ∑(k) for the Value K = 4.by Allen H. Brady;A Lower Bound on Rado's Sigma Function for Binary Turing Machines.by Milton W. Green

Review by: H. B. Enderton

期刊名称The Journal of Symbolic Logic
作者Review by: H. B. Enderton
卷第40卷
期第4期
印刷ISSN0022-4812
文件大小85.93KB
发表时间1975-12
DOI10.2307/2271827

← 返回【学霸图书馆】主页