Grundlagen der Mathematik
Von Wiener Walzer bis zu mengentheoretischen Spielen
Fachbuch2027Springer SpektrumISBN 978-3-662-69708-5
A Guided Introduction to the Fundamental Ideas
Fachbuch2027SpringerISBN 978-3-032-26872-3
Fachbuch2026SpringerISBN 978-3-032-30720-0
Fachbuch2026SpringerISBN 978-3-658-52317-6
An Introduction
Fachbuch2027SpringerISBN 978-3-032-10039-9
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2027Springer SpektrumISBN 978-3-662-73410-0
Baratgin / Jacquet / Brochier / Yama
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
4th International Conference on Human and Artificial Rationalities, HAR 2025, Paris, France, September 16-19, 2025, Proceedings
Fachbuch2027SpringerISBN 978-3-032-34977-4
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11-12, 2026, Proceedings
Fachbuch2027SpringerISBN 978-3-032-40443-5
Fachbuch2027SpringerISBN 978-3-032-41939-2
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2027SpringerISBN 978-3-031-85189-6
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Clementino / Gehrke / Picado
Lecture Notes of the Coimbra TACL Summer School, 14-18 June 2022
Fachbuch2026SpringerISBN 978-3-032-13759-3
From the Logic of Questions to Proof Theory
Fachbuch2026SpringerISBN 978-3-031-82453-1
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26742-9
Ren / Huang / Hussain / Wang / Jin / Li / Sun
15th International Conference, BICS 2025, Suzhou, China, November 28-30, 2025, Proceedings
Fachbuch2027SpringerISBN 9789819235858
Statistical Properties, Quantumness and Security Certification
Fachbuch2027SpringerISBN 9789819258024
From Group Theory to Galois Theory
eBook (ePub mit Wasserzeichen)2026De GruyterISBN 978-3-11-227083-7
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

