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:
| ISBN: | 9783319243115 |
| Publication date: | 12th November 2015 |
| Author: | Hans De Nivelle |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 355 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Artificial intelligence Mathematical theory of computation Computer programming / software engineering Software Engineering Maths for computer scientists Discrete mathematics |
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.
Automated Reasoning with Analytic Tableaux and Related Methods features in the following genres: Artificial intelligence, Mathematical theory of computation, Computer programming / software engineering, Software Engineering, Maths for computer scientists, Discrete mathematics
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Automated Reasoning with Analytic Tableaux and Related Methods was written by Hans De Nivelle and published by Springer International Publishing AG
Automated Reasoning with Analytic Tableaux and Related Methods has 355 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49, reduced from £44.99. Not Available.