Home
:
Book details
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24 28, 2023, Proceedings (Lecture Notes in Computer Science, 13967) free ebook download
Category:
Computer Science
Views:
41
Likes:
3
Catalogue
Author(s):
Gianluca Della Vedova
Date:
2024
Format:
pdf
Language:
English
ISBN/ASIN:
3031369777
Pages:
348
OCR:
Quality:
ISBN13:
Uploader:
topron
Upload Date:
11/27/2023 5:58:32 AM
To download click on link in the Links Table below
Description:
Click to see full description
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. Read more
Links Table
Title
Link
Password
Size (MB)
Thank to
Inform Admin
3210783
Book
https://nitroflare.com/view/31D985CC918A...
0.00
topron
Tags:
19th
Batumi
Computability
Computation
Conference
Europe
Georgia
July
Logic
Unity
Title
Link
Password
Size
Reason
Dead link
New format
Those who downloaded this book also downloaded the following books:
Comments
New comment:
(C) FreeBookSpot 2007 - 2024
Home : Book details