Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings: 13967 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Unity of Logic and Computation: 19th Conference on...
Beispielbild für diese ISBN
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)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031369773_new
Neu kaufen
EUR 63,30
Versand:
EUR 13,60
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Unity of Logic and Computation
ISBN 10: 3031369777
ISBN 13: 9783031369773
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 352 pp. Englisch. Bestandsnummer des Verkäufers 9783031369773
Neu kaufen
EUR 74,89
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24?28, 2023, Proceedings: 13967
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26396942999
Foto des Verkäufers
Unity of Logic and Computation
Verlag:
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031369777
ISBN 13: 9783031369773
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 881233698
Neu kaufen
EUR 65,94
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24?28, 2023, Proceedings: 13967
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand. Bestandsnummer des Verkäufers 400515400
Neu kaufen
EUR 107,80
Versand:
EUR 7,38
Von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24?28, 2023, Proceedings: 13967
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND. Bestandsnummer des Verkäufers 18396943005
Neu kaufen
EUR 109,11
Versand:
EUR 9,95
Von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Unity of Logic and Computation: 19th Conference on Computability in Europe, Cie 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 348 pages. 9.25x6.10x0.73 inches. In Stock. Bestandsnummer des Verkäufers x-3031369777
Neu kaufen
EUR 114,25
Versand:
EUR 11,35
Von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Unity of Logic and Computation
Verlag:
Springer, Springer Jul 2023, 2023
ISBN 10: 3031369777
ISBN 13: 9783031369773
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -¿Degree theory.- Cupping computably enumerable degrees simultaneously.- The relationship between local and global structure in the enumeration degrees.- A directed system of Scott ideals.- Proof Theory.- The non-normal abyss in Kleene's computability theory.- A Constructive Picture of Noetherianity and Well Quasi-Orders.- Computability.- Symmetry for transfinite computability.- All Melodies are Lost -- Recognizability for weak and strong ¿-ITRMs.- The de Groot dual of represented spaces.- Algorithmic Randomness.- Some Games on Turing Machines and Power from Random Strings.- Inequalities for entropies and dimensions.- Computational Complexity.- Elementarily traceable irrational numbers.- Logic vs topology on regular ¿-languages.- Subrecursive Graphs of Representations of Irrational Numbers.- On the complexity of learning programs.- The Weihrauchcomplexity of the supergraph problem.- Extending Wagner's hierarchy to Deterministic Visibly Pushdown Automata.- On guarded extensions of MMSNP.- Turning block-sequential automata networks into smaller parallel networks with isomorphic limit dynamics.- Interactive proofs.- Structural Complexity of Rational Interactive Proofs.- Physical Zero-Knowledge Proof for Ball Sort Puzzle.- Combinatorial approaches.- Graph subshifts.- Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games.- An O(¿k)-approximation algorithm for minimum power k edge disjoint st-paths.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch. Bestandsnummer des Verkäufers 9783031369773
Neu kaufen
EUR 74,89
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Verlag:
Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031369777
ISBN 13: 9783031369773
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783031369773
Neu kaufen
EUR 74,89
Versand:
EUR 62,67
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Unity of Logic and Computation | 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Unity of Logic and Computation | 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings | Gianluca Della Vedova (u. a.) | Taschenbuch | li | Englisch | 2023 | Springer | EAN 9783031369773 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 126986645
Neu kaufen
EUR 68,55
Versand:
EUR 70,00
Von Deutschland nach USA
Anzahl: 5 verfügbar