Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Automated Reasoning with Analytic Tableaux and Related Methods
CHF 46.15
Auf Lager
SKU
T6G84AA752D
1 Verfügbar 
Geliefert zwischen Mi., 29.04.2026 und Do., 30.04.2026
Details
This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 2729, 2025.
The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic.
This book is open access, which means that you have free and unlimited access
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783032060846
- Genre Information Technology
- Editor Gian Luca Pozzato, Tarmo Uustalu
- Lesemotiv Verstehen
- Anzahl Seiten 492
- Größe H28mm x B155mm x T235mm
- Jahr 2025
- EAN 9783032060846
- Format Kartonierter Einband
- ISBN 978-3-032-06084-6
- Titel Automated Reasoning with Analytic Tableaux and Related Methods
- Untertitel 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
- Gewicht 768g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
