• Computability theory : an introduction to recursion theory
  • 紀錄類型: 書目-電子資源 : 單行本
    副題名: an introduction to recursion theory
    作者: EndertonHerbert B.,
    出版地: Amsterdam
    出版者: Academic Press;
    出版年: c2011.
    面頁冊數: 174 p.ill. : 24 cm.;
    標題: Recursion theory. -
    電子資源: http://www.sciencedirect.com/science/book/9780123849588
    ISBN: 9780123849588electronic bk.
    ISBN: 9780123849588
    內容註: The Computability Concept General Recursive Functions Programs and Machines Recursive Enumerability Connections to Logic Degrees of Unsolvability Polynomial-Time Computability [Appendices]. Mathspeak Countability Decadic Notation.
評論
Export
取書館別
 
 
變更密碼
登入