Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics 1
bokomslag Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Vetenskap & teknik

Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics

Ningning Peng • Kazuyuki Tanaka • Yue Yang • Guohua Wu • Liang Yu

Inbunden

1999:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 196 sidor
  • 2022
This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. The scope involves the topics of Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.
  • Författare: Ningning Peng, Kazuyuki Tanaka, Yue Yang, Guohua Wu, Liang Yu
  • Format: Inbunden
  • ISBN: 9789811259289
  • Språk: Engelska
  • Antal sidor: 196
  • Utgivningsdatum: 2022-06-28
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. bokomslag Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

    Proceedings Of The 11th Asian Logic C...

    Byunghan Kim, Toshiyasu Arai, Yue Yang, Guohua Wu, Qi Feng

    Inbunden

    2019:-
  2. bokomslag Boolean Circuit Rewiring

    Boolean Circuit Rewiring

    Tak-Kei Lam, Wai-Chung Tang, Xing Wei, Yi Diao, David Yu-Liang Wu

    Inbunden

    2249:-
  3. bokomslag Sets And Computations

    Sets And Computations

    Sy-David Friedman, Dilip Raghavan, Yue Yang

    Inbunden

    2109:-
  4. bokomslag E-recursion, Forcing And C*-algebras

    E-recursion, Forcing And C*-algebras

    Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin

    Pocket

    519:-
  5. bokomslag E-recursion, Forcing And C*-algebras

    E-recursion, Forcing And C*-algebras

    Chi Tat Chong, Qi Feng, Yue Yang, Theodore A Slaman, W Hugh Woodin

    Inbunden

    1559:-
  6. bokomslag White Matter Injury in Stroke and CNS Disease

    White Matter Injury in Stroke and CNS...

    Selva Baltan, S Thomas Carmichael, Carlos Matute, Guohua Xi, John H Zhang

    Inbunden

    4089:-
  7. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Inbunden

    1479:-
  8. bokomslag White Matter Injury in Stroke and CNS Disease

    White Matter Injury in Stroke and CNS...

    Selva Baltan, S Thomas Carmichael, Carlos Matute, Guohua Xi, John H Zhang

    Pocket

    4089:-
  9. bokomslag Animal Classification in Central China

    Animal Classification in Central China

    Ningning Dong

    Pocket

    839:-
  10. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Pocket

    1999:-

Andra av samma författare

  1. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Inbunden

    1479:-
  2. bokomslag Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems

    Intelligent Control, Filtering and Mo...

    Xiaojie Su, Yao Wen, Yue Yang, Peng Shi

    Pocket

    1999:-
  3. bokomslag Recursion Theory

    Recursion Theory

    Liang Yu Chi Tat Chong

    Inbunden

    2889:-
  4. bokomslag Energy Management of Internet Data Centers in Smart Grid

    Energy Management of Internet Data Ce...

    Tao Jiang, Liang Yu, Yang Cao

    Inbunden

    1009:-
  5. bokomslag Energy Management of Internet Data Centers in Smart Grid

    Energy Management of Internet Data Ce...

    Tao Jiang, Liang Yu, Yang Cao

    Pocket

    1009:-
  6. bokomslag Belt And Road Initiative, The: Asean Countries' Perspectives

    Belt And Road Initiative, The: Asean ...

    Fujian Li Yue Yang

    Inbunden

    1999:-
  7. bokomslag Asean-china Cooperation For Poverty Reduction

    Asean-china Cooperation For Poverty R...

    Yue Yang Yanjun Guo

    Inbunden

    1779:-
  8. bokomslag Asean-china Cooperation For Environmental Protection And Sustainable Energy Development

    Asean-china Cooperation For Environme...

    Yue Yang

    Inbunden

    1559:-
  9. bokomslag Asean-china Cooperation On Regional Connectivity And Sustainability

    Asean-china Cooperation On Regional C...

    Yue Yang Yanjun Guo

    Inbunden

    1779:-
  10. bokomslag Digital Economy And The Sustainable Development Of Asean And China

    Digital Economy And The Sustainable D...

    Yue Yang

    Inbunden

    1779:-