Cover Image
Read Now

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

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 subm...

Full description

Bibliographic Details
Other Authors: Schmidt, Renate A. (Editor), Nalon, Cláudia (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2017, 2017
Edition:1st ed. 2017
Series:Lecture Notes in Artificial Intelligence
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Programming Techniques
Computer Programming
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02152nmm a2200409 u 4500
001 EB001615498
003 EBX01000000000000000950123
005 00000000000000.0
007 cr|||||||||||||||||||||
008 171005 ||| eng
020 |a 9783319669021 
100 1 |a Schmidt, Renate A.  |e [editor] 
245 0 0 |a Automated Reasoning with Analytic Tableaux and Related Methods  |h Elektronische Ressource  |b 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings  |c edited by Renate A. Schmidt, Cláudia Nalon 
250 |a 1st ed. 2017 
260 |a Cham  |b Springer International Publishing  |c 2017, 2017 
300 |a XII, 381 p. 75 illus  |b online resource 
505 0 |a Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Computer science 
653 |a Programming Techniques 
653 |a Computer programming 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
653 |a Artificial intelligence 
700 1 |a Nalon, Cláudia  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Artificial Intelligence 
028 5 0 |a 10.1007/978-3-319-66902-1 
856 4 0 |u https://doi.org/10.1007/978-3-319-66902-1?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a 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 

Similar Items