[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 9323 ||
De Nivelle, HansVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-24312-2
File:
PDF, 7.58 MB
english, 2015