Cláudia Nalon

Books that list Cláudia Nalon among their authors but not as the lead author: co-written works, collections and compilations.

Automated Reasoning with Analytic Tableaux and Related MethodsRenate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt · 2017