Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Arithmetic and Algebraic Geometry: A Mathematical Tribute to Yuri Manin (Bog, Hardback, Engelsk)This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics Before and After Pythagoras: Exploring the Foundations and Evolution of Mathematical Thought (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness: Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the Third International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel's Incompleteness Theorems: A Guided Tour Through Kurt Godel’s Historic Proof (Bog, Paperback / softback, Engelsk)For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6–8, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
R-Calculus, VI: Finite Injury Priority Method (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Basic Real Analysis (Bog, Paperback / softback, Engelsk)This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Foundations of Cyber-Physical Systems (Bog, Paperback / softback, Engelsk)Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Lvov-Warsaw School. Past and Present (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
A History of Folding in Mathematics: Mathematizing the Margins (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Structures and Algorithms: Mathematics and the Nature of Knowledge (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
