Product Description
ISBN: 9783319669038
TITLE: Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings : 10501
AUTHOR: Renate A. Schmidt
PUBLISHER: Springer International Publishing
PUBLISHER DATE: 4 Sep 2017