Negri / Das | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | 978-3-030-86058-5 | sack.de

Buch, Englisch, Band 12842, 467 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g

Reihe: Lecture Notes in Computer Science

Negri / Das

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
1. Auflage 2021
ISBN: 978-3-030-86058-5
Verlag: Springer International Publishing

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

Buch, Englisch, Band 12842, 467 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-030-86058-5
Verlag: Springer International Publishing

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, theorem proving, formalized proofs, non-wellfounded proofs, automated theorem provers, and intuitionistic modal logics.

Negri / Das Automated Reasoning with Analytic Tableaux and Related Methods jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Negri, Sara
Das, Anupam

Fachgebiete

Weitere Infos & Material

Tableau Calculi.- Sequent Calculi.- Theorem Proving.- Formalized Proofs.- Non-Wellfounded Proofs.- Intuitionistic Modal Logics.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.