Theory of recursive functions and effective computability.

類似資料

• Programs as Diagrams From Categorical Computability to Computable Categories /
  著者:: Pavlovic, Dusko
  出版事項: (2023)
• Algorithms for Constructing Computably Enumerable Sets
  著者:: Supowit, Kenneth J.
  出版事項: (2023)
• Computability and Complexity Foundations and Tools for Pursuing Scientific Applications /
  著者:: Downey, Rod
  出版事項: (2024)
• Recursive function theory and logic/
  著者:: Vasuhara, Ann
  出版事項: (1971)
• Recursive function theory and logic
  著者:: Vasuhara, Ann
  出版事項: (1971)