Author books / Книги автора Hans De Nivelle (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Hans De Nivelle (eds.)

book Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

pdf

Author: Hans De Nivelle (eds.)
Language: English
Year: 2015

00

27.01.2024

0

0