BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Grundlagen der Mathematik
94 Treffer
Ankündigung
Von Wiener Walzer bis zu mengentheoretischen Spielen
Fachbuch2026Springer SpektrumISBN 978-3-662-69708-5
Ankündigung
An Introduction
Fachbuch2026SpringerISBN 978-3-032-10039-9
Ankündigung
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2026Springer SpektrumISBN 978-3-662-73410-0
Ankündigung
Mit strenger Axiomatik zu einem tragfähigen Gefüge
Fachbuch2026SpringerISBN 978-3-662-73640-1
neu
Fachbuch2026SpringerISBN 978-3-658-52317-6
neu
Fachbuch2026SpringerISBN 978-3-032-30720-0
Ankündigung
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
Fachbuch2026SpringerISBN 978-3-032-34977-4
neu
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Ankündigung
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
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
Ankündigung
Vandoulakis / Citkin / Denisova / Pires Ting
Festschrift for Jean-Yves Béziau's 60th Birthday , Vol. 1
Fachbuch2027Birkhäuser Verlag GmbHISBN 978-3-032-37326-7
Ankündigung
Ren / Huang / Hussain / Wang / Jin / Li / Sun
15th International Conference, BICS 2025, Suzhou, China, November 28-30, 2025, Proceedings
Fachbuch2026SpringerISBN 9789819235858
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
From Logic Operators to Cellular Automata
Fachbuch2026De GruyterISBN 978-3-11-223004-6
Ankündigung
Fachbuch2026SpringerISBN 978-3-032-05448-7
Bertrand / Milius
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-22729-4
Rezensionen
