First-Order Schemata and Inductive Proof Analysis
November 2025, ca. 265 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-032-05740-2
November 2025, ca. 265 Seiten, Computer Science Foundations and Applied Logic, Englisch
Springer International Publishing
978-3-032-05740-2
Weitere Titel der Reihe: Computer Science Foundations and Applied Logic
Alle anzeigenProof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
ca. 103.00 CHF
erscheint im Februar
Causal Discovery
Foundations, Algorithms and Applications
Springer International Publishing, 2025
978-3-031-98344-3
ca. 116.00 CHF
erscheint im Oktober
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
ca. 90.00 CHF
erscheint im Oktober
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
ca. 104.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer EN, 2025
978-3-031-74761-8
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
ca. 262.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer EN, 2025
978-3-031-48280-9
ca. 84.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
Künstliche Intelligenz und Mensch
Eine kulturhistorische Reise von der Vergangenheit in unsere Zukunft
Springer, 2026
978-3-662-72144-5
ca. 46.90 CHF
erscheint im Februar
Formeln umstellen (Print inkl. E-Book Edubase)
hep Verlag, 2025
978-3-0355-2987-6
ca. 20.00 CHF
erscheint im September
Our Inevitable Third Spinoza Controversy
Ontologies of Necessity and Environmental Nihilism
Springer International Publishing, 2026
978-3-032-03044-3
ca. 188.00 CHF
erscheint im Januar
Im Bogen zum Ziel: quadratische Gleichungen und Funktionen
Compendio Bildungsmedien, 2025
978-3-7155-0127-7
ca. 49.00 CHF
erscheint im September
Automation of Logic
Taylor and Francis, 2026
978-1-4398-7535-3
ca. 116.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Proper Time and Mass as Dynamical Variables
Springer EN, 2026
978-981-9507-31-3
ca. 109.00 CHF
erscheint im Februar
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Springer International Publishing, 2025
978-3-031-91751-6
ca. 199.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
A Beginner’s Guide to Mathematical Proof
Taylor and Francis, 2025
978-1-032-68770-4
ca. 86.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Institutionenethik
Beiträge zur normativen Eigensinnigkeit von Institutionen
978-3-662-64990-9
ca. 127.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Book of Functions
Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming
Turnaround, 2026
978-1-71850-160-7
ca. 85.00 CHF
erscheint im Mai
The Logic of Theoretical Sociology
An Historical Assessment
Springer International Publishing, 2025
978-3-031-91708-0
ca. 168.00 CHF
lieferbar in ca. 20-45 Arbeitstagen