Renate A. Schmidt · 4 obras en el catálogoObrasAutomated Deduction – CADE-22Automated Reasoning with Analytic Tableaux and Related MethodsAAutomated ReasoningAutomated ReasoningRelations and Kleene Algebra in Computer Science