Renate A. Schmidt,
Cláudia Nalon
Springer International Publishing
e druk, 2017
9783319669014
Automated Reasoning with Analytic Tableaux and Related Methods
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2017
ISBN13: 9783319669014
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319669014
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
Sequents systems.- Tableaux.- Transitive closure and cyclic proofs.- Formalization and complexity.<p></p>