{"product_id":"unity-of-logic-and-computation-19th-conference-on-computability-in-europe-cie-2023-batumi-georgia-july-24-28-2023-proceedings-9783031369773","title":"Unity of Logic and Computation: 19th Conference on Computability in Europe, Cie 2023, Batumi, Georgia, July 24-28, 2023, Proceedings","description":"\u003cp\u003e • Author(s): Gianluca Della Vedova\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Algorithms\u003c\/p\u003e\u003cp\u003eThis 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. \u003cbr\u003eThe 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: \u003cb\u003e ​\u003c\/b\u003eDegree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283032400023,"sku":"9783031369773","price":4774.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031369773.webp?v=1769303914","url":"https:\/\/atlanticbooks.com\/products\/unity-of-logic-and-computation-19th-conference-on-computability-in-europe-cie-2023-batumi-georgia-july-24-28-2023-proceedings-9783031369773","provider":"Atlantic Books","version":"1.0","type":"link"}