Computability : Turing, Gd̲el, Church, and beyond /

類似資料

• The annotated turing : a guided tour through alan turing's historic paper on computability and the turing machine /
  著者:: 451378 Petzold, Charles
  出版事項: (2008)
• Alan Turing's automatic computing engine : the master codebreaker's struggle to build the modern computer /
  著者:: Copeland, B. Jack
  出版事項: (2005)
• Gd̲el's way : exploits into an undecidable world /
  著者:: 182465 Chaitin, Gregory J., 等
  出版事項: (c201)
• Computational complexity in non-Turing models of computation: The what, the why and the how
  著者:: Blakey, E
  出版事項: (2011)
• Beyond Turing's Machines
  著者:: Hodges, A
  出版事項: (2012)