Logo
DE|FR
First-Order Schemata and Inductive Proof Analysis
Télécharger la couverture

First-Order Schemata and Inductive Proof Analysis

Livre (relié)env. 198.00 CHF
paraît en novembre
novembre 2025, env. 265 pages, Computer Science Foundations and Applied Logic, Anglais
Springer International Publishing
978-3-032-05740-2

Autres titres de la collection: Computer Science Foundations and Applied Logic

Afficher tout
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2026
978-3-031-85189-6
env. 103.00 CHF
paraît en février
Causal Discovery
Foundations, Algorithms and Applications
Springer International Publishing, 2025
978-3-031-98344-3
env. 116.00 CHF
paraît en octobre
Concise Guide to Fault Tree Analysis
Models, Methods and Algorithms
Springer International Publishing, 2025
978-3-031-78286-2
env. 90.00 CHF
paraît en octobre
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer International Publishing, 2025
978-3-031-85351-7
env. 104.00 CHF
livrable dans env. 20-45 jours
Multi-Valued Logic for Decision-Making Under Uncertainty
Springer EN, 2025
978-3-031-74761-8
env. 239.00 CHF
livrable dans env. 20-45 jours
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
env. 262.00 CHF
livrable dans env. 20-45 jours
Petri Net Primer
A Compendium on the Core Model, Analysis, and Synthesis
Springer EN, 2025
978-3-031-48280-9
env. 84.00 CHF
livrable dans env. 20-45 jours
Category Theory Using Haskell
An Introduction with Moggi and Yoneda
Springer International Publishing, 2024
978-3-031-68537-8
env. 239.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

Handbook of Military Sciences
Springer EN, 2026
978-3-030-27278-4
env. 535.00 CHF
livrable dans env. 20-45 jours
Conceptual Principles of Natural Philosophy
An Investigation into Time, Space, and the Laws of Nature
Springer International Publishing, 2025
978-3-031-82107-3
env. 207.00 CHF
livrable dans env. 20-45 jours
Peirce’s Logic of Information
De Gruyter, 2025
978-3-11-079905-7
env. 173.00 CHF
paraît en décembre
A Beginner’s Guide to Mathematical Proof
Taylor and Francis, 2025
978-1-032-68770-4
env. 86.00 CHF
livrable dans env. 10-20 jours
Organic Materialism and Philosophy of Technology
On the Speculative Relationship between Thought and Matter
Springer International Publishing, 2026
978-3-032-05122-6
env. 158.00 CHF
paraît en mars
Automation of Logic
Taylor and Francis, 2026
978-1-4398-7535-3
env. 116.00 CHF
livrable dans env. 10-20 jours