Unity of Logic and Computation 1
bokomslag Unity of Logic and Computation
Data & IT

Unity of Logic and Computation

Gianluca Della Vedova • Besik Dundua • Steffen Lempp • Florin Manea

Pocket

999:-

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

Uppskattad leveranstid 10-16 arbetsdagar

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

  • 297 sidor
  • 2023
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 2428, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
  • Författare: Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
  • Format: Pocket/Paperback
  • ISBN: 9783031369773
  • Språk: Engelska
  • Antal sidor: 297
  • Utgivningsdatum: 2023-07-19
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Twenty Years of Theoretical and Practical Synergies

    Twenty Years of Theoretical and Pract...

    Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea

    Pocket

    1289:-
  2. Kommande
    bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Pocket

    1279:-
  3. bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Inbunden

    3269:-
  4. bokomslag Emilio Vedova

    Emilio Vedova

    Germano Celant Emilio Vedova

    Inbunden

    859:-
  5. bokomslag Nio författare

    Nio författare

    Gudrun Nyberg • David Anthin • Martin...

    Inbunden

    379:-
  6. bokomslag Digital Transformation

    Digital Transformation

    Larisa Ivascu, Lucian-Ionel Cioca, Banciu Doina, Florin Gheorghe Filip

    Inbunden

    3079:-
  7. bokomslag Digital Business

    Digital Business

    Srikanta Patnaik, Xin-She Yang, Madjid Tavana, Florin Popentiu-Vldicescu, Feng Qiao

    Pocket

    2129:-
  8. bokomslag Sustainability Assessment at the 21st century

    Sustainability Assessment at the 21st...

    Mara Jos Bastante-Ceca, Jose Luis Fuentes-Bargues, Levente Hufnagel, Florin-Constantin Mihai, Corneliu Iatu

    Inbunden

    2269:-
  9. bokomslag Timeliness, Accuracy, and Relevance in Dynamic Incentive Contracts

    Timeliness, Accuracy, and Relevance i...

    Peter O Christensen, Gerald A Feltham, Christian Hofmann, Florin Sabac

    Pocket

    1269:-
  10. bokomslag Optimization in Engineering Sciences

    Optimization in Engineering Sciences

    Dan Stefanoiu, Pierre Borne, Dumitru Popescu, Florin Gheorghe Filip, Abdelkader El Kamel

    Inbunden

    3059:-

Andra av samma författare

  1. bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Inbunden

    3269:-
  2. Kommande
    bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Pocket

    1279:-
  3. bokomslag Computing with Foresight and Industry

    Computing with Foresight and Industry

    Florin Manea, Barnaby Martin, Danil Paulusma, Giuseppe Primiero

    Pocket

    769:-
  4. bokomslag Beyond the Horizon of Computability

    Beyond the Horizon of Computability

    Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly

    Pocket

    769:-
  5. bokomslag Connecting with Computability

    Connecting with Computability

    Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernndez-Duque

    Pocket

    769:-
  6. bokomslag Revolutions and Revelations in Computability

    Revolutions and Revelations in Comput...

    Ulrich Berger, Johanna N Y Franklin, Florin Manea, Arno Pauly

    Pocket

    999:-
  7. bokomslag Twenty Years of Theoretical and Practical Synergies

    Twenty Years of Theoretical and Pract...

    Ludovic Levy Patey, Elaine Pimentel, Lorenzo Galeotti, Florin Manea

    Pocket

    1289:-
  8. bokomslag Developments in Language Theory

    Developments in Language Theory

    Florin Manea Joel D Day

    Pocket

    1149:-
  9. bokomslag Recursion Theory and Complexity

    Recursion Theory and Complexity

    Steffen Lempp Marat M Arslanov

    Inbunden

    3159:-
  10. bokomslag Combinatorics on Words

    Combinatorics on Words

    Dirk Nowotka Florin Manea

    Pocket

    769:-