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 68.75
Auf Lager
SKU
J7LP0J28AOK
1 Verfügbar 
Geliefert zwischen Mi., 04.03.2026 und Do., 05.03.2026
Details
This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015.
The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.
Includes supplementary material: sn.pub/extras
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319243115
- Genre Information Technology
- Auflage 1st ed. 2015
- Editor Hans De Nivelle
- Lesemotiv Verstehen
- Anzahl Seiten 355
- Größe H234mm x B155mm x T21mm
- Jahr 2015
- EAN 9783319243115
- Format Kartonierter Einband
- ISBN 978-3-319-24311-5
- Titel Automated Reasoning with Analytic Tableaux and Related Methods
- Untertitel 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
- Gewicht 564g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
