Renate A. Schmidt

Renate A. Schmidt

3 books in the database

Books

Automated Deduction – CADE-22Renate A. Schmidt

Automated Deduction – CADE-22

Renate A. Schmidt · 2009

Relations and Kleene Algebra in Computer ScienceRenate A. Schmidt

Relations and Kleene Algebra in Computer Science

Renate A. Schmidt · 2006

Automated Reasoning with Analytic Tableaux and Related MethodsRenate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt · 2017

Co-authored books and collections

Books that list Renate A. Schmidt among their authors but not as the lead author: co-written works, collections and compilations.

Automated ReasoningChristoph Benzmüller

Automated Reasoning

Christoph Benzmüller · 2024