The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions 论文

1966Mathematics of Computation引用 329
DOI
Computability, Logic, AI Algorithms
Computability, Logic, AI Algorithms
相关技术:Computability, Logic, AI Algorithms
关系图谱

2

作者

1

相关技术

0

相关事件

0

相关文章

摘要

problems and computable functionsUniversal Turing Machine R.I

作者查看全部 (2)

M

Martin Davis

C

Calvin C. Elgot

相关技术查看全部 (1)

Computability, Logic, AI Algorithms

相关事件

暂无数据

相关文章

暂无数据