Normal view
MARC view
Renate A. Schmidt, Cláudia Nalon (Personal Name)
Machine generated authority record
Work cat.: (OSt)1620119: Renate A. Schmidt, Cláudia Nalon, Automated Reasoning with Analytic Tableaux and Related Methods