Normal view
MARC view
De Nivelle, Hans (Personal Name)
Machine generated authority record.
Work cat.: ()1374730: Automated Reasoning with Analytic Tableaux and Related Methods, 2015.
