Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Exploring Negation, Modality and Proof
Exploring Negation, Modality and Proof
6th Asian Workshop on Philosophical Logic
novembre 2025, env. 368 pages, Logic in Asia: Studia Logica Library, Anglais
Springer EN
978-981-9685-65-3
novembre 2025, env. 368 pages, Logic in Asia: Studia Logica Library, Anglais
Springer EN
978-981-9685-65-3
Autres titres de la collection: Logic in Asia: Studia Logica Library
Afficher toutDynamics, Uncertainty and Reasoning
The Second Chinese Conference on Logic and Argumentation
Springer EN, 2019
978-981-1377-90-7
env. 189.00 CHF
livrable dans env. 20-45 jours
Philosophical Logic: Current Trends in Asia
Proceedings of AWPL-TPLC 2016
Springer EN, 2018
978-981-1348-63-1
env. 237.00 CHF
livrable dans env. 20-45 jours
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
Springer EN, 2016
978-3-662-51717-8
env. 70.00 CHF
livrable dans env. 20-45 jours
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
Springer EN, 2016
978-3-662-51712-3
env. 135.00 CHF
livrable dans env. 20-45 jours
Structural Analysis of Non-Classical Logics
The Proceedings of the Second Taiwan Philosophical Logic Colloquium
Springer EN, 2015
978-3-662-48356-5
env. 135.00 CHF
livrable dans env. 20-45 jours
Modality, Semantics and Interpretations
The Second Asian Workshop on Philosophical Logic
Springer EN, 2015
978-3-662-47196-8
env. 70.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
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 janvier
Computer Science and Education in Computer Science
20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28–30, 2024, Proceedings
Springer International Publishing, 2025
978-3-031-84311-2
env. 104.00 CHF
livrable dans env. 20-45 jours
Mathematische Geschichten für begabte Grundschülerinnen und Grundschüler
Graphen, Spiele, Teiler und Beweise
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-47379-2
env. 41.90 CHF
livrable dans env. 20-45 jours
Adequate Connections
Assessing Argument Ground Adequacy
Springer International Publishing, 2025
978-3-031-76476-9
env. 159.00 CHF
livrable dans env. 20-45 jours
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part II
Springer International Publishing, 2025
978-3-031-82696-2
env. 92.00 CHF
livrable dans env. 20-45 jours
The Logic of Mysticism
Springer International Publishing, 2025
978-3-031-84399-0
env. 147.00 CHF
livrable dans env. 20-45 jours
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Springer International Publishing, 2025
978-3-031-99704-4
env. 96.00 CHF
paraît en septembre
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
Mathematik interaktiv und verständlich
für Naturwissenschaftler, Ingenieure und Mediziner
Spektrum, 2025
978-3-662-65547-4
71.00 CHF
disponible de suite
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
env. 158.00 CHF
paraît en octobre
The Mathematical and Philosophical Legacy of Alexander Grothendieck
Springer International Publishing, 2025
978-3-031-68933-8
273.00 CHF
disponible de suite