0
Your cart

Your cart is empty

Books

Buy Now

Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023) Loot Price: R1,833
Discovery Miles 18 330
Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023,...

Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023)

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

Series: Lecture Notes in Computer Science, 13967

 (sign in to rate)
Loot Price R1,833 Discovery Miles 18 330 | Repayment Terms: R172 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 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; and Combinatorial approaches.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 13967
Release date: July 2023
First published: 2023
Editors: Gianluca Della Vedova • Besik Dundua • Steffen Lempp • Florin Manea
Dimensions: 235 x 155mm (L x W)
Pages: 297
Edition: 1st ed. 2023
ISBN-13: 978-3-03-136977-3
Categories: Books
LSN: 3-03-136977-7
Barcode: 9783031369773

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Blood Brothers - To Battleground…
Deon Lamprecht Paperback  (1)
R290 R195 Discovery Miles 1 950
Atmosfire
Jan Braai Hardcover R590 R425 Discovery Miles 4 250
Air Fryer - Herman's Top 100 Recipes
Herman Lensing Paperback R350 R235 Discovery Miles 2 350
Twice The Glory - The Making Of The…
Lloyd Burnard, Khanyiso Tshwaku Paperback R325 R219 Discovery Miles 2 190
Witness To Power - A Political Memoir
Mathews Phosa Paperback R300 R215 Discovery Miles 2 150
How Did We Get Here? - A Girl's Guide to…
Mpoomy Ledwaba Paperback  (1)
R290 R195 Discovery Miles 1 950
We Were Perfect Parents Until We Had…
Vanessa Raphaely, Karin Schimke Paperback R330 R220 Discovery Miles 2 200
Braai
Reuben Riffel Paperback R495 R359 Discovery Miles 3 590
Hoe Ek Dit Onthou
Francois Van Coke, Annie Klopper Paperback R300 R219 Discovery Miles 2 190
Tietie & Nanna se Huiskos
Najma Abrahams, Azba Fanie Paperback R375 R275 Discovery Miles 2 750
Bok To Bok
Mike Greenaway Hardcover R599 R449 Discovery Miles 4 490
Breaking Bread - A Memoir
Jonathan Jansen Paperback R330 R220 Discovery Miles 2 200

See more

Partners