Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015

Automated Reasoning with Analytic Tableaux and Related Methods: Proc./24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 2015Ed. by De Nivelle H..-Berlin.: Springer, 2015.-Vol. 9323.-355 p.-(Lecture Notes in Artificial Intelligence).