Logo
DE | FR
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Télécharger la couverture
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

Crossroads of Computability and Logic: Insights, Inspirations, and ...

21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
Livre (broché)env. 169.00 CHF
livrable dans env. 20-45 jours

This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025. The 27 full papers included in this book were carefully reviewed and selected from 49 submissions. They focus on computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2025 had as its motto Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, drawing on the numerous interconnections between computability research and broader logical methodologies, considering both well-established perspectives as well as recent innovations.

juin 2025, env. 512 pages, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-031-95907-3

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout
3D Research Challenges in Cultural Heritage VI
DigitalTwin versus MemoryTwin
Springer International Publishing, 2026
978-3-032-05655-9
env. 69.00 CHF
paraît en janvier
Superposition for Higher-Order Logic
Springer International Publishing, 2025
978-3-032-01669-0
env. 146.00 CHF
paraît en décembre

Autres titres sur ce thème

Smart Charging Infrastructures
Wiley, 2026
978-1-394-28831-1
env. 279.00 CHF
paraît en janvier
Artificial Intelligence Act
Article-by-Article Commentary
Beck, C HHart Publishing, OxfordNomos Verlagsgesellschaft, Baden-Baden, 2026
978-3-406-79007-2
env. 278.00 CHF
paraît en février
Advanced Techniques for Modifying Metaheuristics
Methods and Applications
Elsevier, 2026
978-0-443-32972-2
env. 235.00 CHF
paraît en janvier
Single-Cell Genomics
From Cell to Shell
Springer International Publishing, 2026
978-3-030-40950-0
env. 238.00 CHF
paraît en juin
Handbuch Digitale Medien und Methoden
Springer Fachmedien Wiesbaden GmbH, 2026
978-3-658-36624-7
env. 159.00 CHF
paraît en janvier
AI-Driven Urban Planning
Shaping the Future of Cities
Elsevier, 2026
978-0-443-45040-2
env. 179.00 CHF
paraît en juin
Humanizing Artificial Touch
Skin, Sensing, and Structures
Elsevier, 2026
978-0-323-95519-5
env. 199.00 CHF
paraît en janvier