Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ...
Publisher: Springer
Published: Aug 31, 2017
Format: paperback
Number of pages: 393
ISBN-13: 9783319669014
Notes: Source title: Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, ... (Lecture Notes in Computer Science (10501))