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 92.60
Auf Lager
SKU
EEHFJGSF7RD
1 Verfügbar 
Geliefert zwischen Do., 25.12.2025 und Fr., 26.12.2025
Details
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.
The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.
Includes supplementary material: sn.pub/extras
Inhalt
Sequents systems.- Tableaux.- Transitive closure and cyclic proofs.- Formalization and complexity.<p
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319669014
- Herausgeber Springer International Publishing
- Anzahl Seiten 396
- Lesemotiv Verstehen
- Genre Software
- Auflage 1st edition 2017
- Editor Cláudia Nalon, Renate A. Schmidt
- Sprache Englisch
- Gewicht 598g
- Untertitel 26th International Conference, TABLEAUX 2017, Braslia, Brazil, September 25-28, 2017, Proceedings
- Größe H235mm x B155mm x T22mm
- Jahr 2017
- EAN 9783319669014
- Format Kartonierter Einband
- ISBN 331966901X
- Veröffentlichung 31.08.2017
- Titel Automated Reasoning with Analytic Tableaux and Related Methods
Bewertungen
Schreiben Sie eine Bewertung
