Data & IT
Pocket
Unity of Logic and Computation
Gianluca Della Vedova • Besik Dundua • Steffen Lempp • Florin Manea
1029:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This book constitutes the refereed proceedings of the 19th International Conference onUnity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 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; andCombinatorial approaches.
- Format: Pocket/Paperback
- ISBN: 9783031369773
- Språk: Engelska
- Antal sidor: 297
- Utgivningsdatum: 2023-07-19
- Förlag: Springer International Publishing AG