[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 9323 || Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
De Nivelle, HansVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-24312-2_17
File:
PDF, 452 KB
english, 2015