BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
137 Treffer
neu
für Naturwissenschaftler, Ingenieure und Mediziner
Fachbuch2025Springer SpektrumISBN 978-3-662-65547-4
Ankündigung
Implications of Natural-Language Sentences and All Logical Paradoxes Solved
Fachbuch2025De GruyterISBN 978-3-11-144046-0
Ankündigung
Höltgen
Band 1: Logik, Informations- und Speichertheorie, Archäologie
Band 1: Logik, Informations- und Speichertheorie, Archäologie
Fachbuch2. Auflage2025De GruyterISBN 978-3-11-103622-9
neu
Fachbuch2025SpringerISBN 978-3-031-81690-1
Ankündigung
Eine Welt jenseits der mathematischen Beweiskraft
Fachbuch2025Springer SpektrumISBN 978-3-662-71096-8
Ankündigung
Meer / Rabinovich / Ravve / Villaveces
Festschrift in Honor of Johann A. Makowsky
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-86318-9
neu
Platz / Flynn / Neal / Ouellette
Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Fachbuch2025SpringerISBN 978-3-031-37005-2
neu
Baratgin / Jacquet / Brochier / Yama
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
Fachbuch2025SpringerISBN 978-3-031-84594-9
neu
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-85351-7
Ankündigung
Part II: Cultural, Fundamental & Technological Frameworks
Fachbuch2025SpringerISBN 978-3-031-90485-1
Ankündigung
Part I: Cultural & Fundamental Frameworks
Fachbuch2025SpringerISBN 978-3-031-90489-9
Ankündigung
Abdulla / Kesner
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-90896-5
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2025SpringerISBN 978-3-031-85189-6
Ankündigung
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-89609-5
Ankündigung
Classical and Constructive Semigroups and Applications
Fachbuch2025SpringerISBN 978-3-031-86476-6
Ankündigung
A Unified Approach
Fachbuch2025SpringerISBN 978-3-031-92432-3
neu
Piccolomini d'Aragona
Fachbuch2025SpringerISBN 978-3-031-51408-1
neu
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-82104-2
neu
A Comprehensive Study with Modern Insights
Fachbuch2025SpringerISBN 978-3-031-42893-7
neu
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-68853-9
Rezensionen
