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

989:-

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

Uppskattad leveranstid 7-12 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. bokomslag Nio författare

    Nio författare

    Gudrun Nyberg • David Anthin • Martin...

    Inbunden

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

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Pocket

    1209:-
  4. bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Inbunden

    3049:-
  5. 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

    2319:-
  6. bokomslag Emilio Vedova

    Emilio Vedova

    Germano Celant Emilio Vedova

    Inbunden

    909:-
  7. 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

    1309:-
  8. bokomslag Optimization in Engineering Sciences

    Optimization in Engineering Sciences

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

    Inbunden

    3039:-
  9. bokomslag The Technological-Industrial Complex and Education

    The Technological-Industrial Complex ...

    Sydney Marie Simone Curtis, Victoria Desimoni, Max Crumley-Effinger, Florin D Salajan, Tavis D Jules

    Inbunden

    739:-
  10. bokomslag Custom Memory Management Methodology

    Custom Memory Management Methodology

    Francky Catthoor, Sven Wuytack, G E De Greef, Florin Banica, Lode Nachtergaele

    Inbunden

    2229:-

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

    3049:-
  2. Ny
    bokomslag Handbook of Formal Analysis and Verification in Cryptography

    Handbook of Formal Analysis and Verif...

    Besik Dundua Sedat Akleylek

    Pocket

    1209:-
  3. bokomslag Computing with Foresight and Industry

    Computing with Foresight and Industry

    Florin Manea, Barnaby Martin, Danil Paulusma, Giuseppe Primiero

    Pocket

    759:-
  4. bokomslag Beyond the Horizon of Computability

    Beyond the Horizon of Computability

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

    Pocket

    759:-
  5. bokomslag Connecting with Computability

    Connecting with Computability

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

    Pocket

    759:-
  6. bokomslag Revolutions and Revelations in Computability

    Revolutions and Revelations in Comput...

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

    Pocket

    989:-
  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

    3239:-
  10. bokomslag Combinatorics on Words

    Combinatorics on Words

    Dirk Nowotka Florin Manea

    Pocket

    759:-