Browse
FAQ

Author

Renate A. Schmidt

4 books found

Cover of Automated Reasoning

Automated Reasoning

Christoph Benzmüller, Marijn Heule, Renate A. Schmidt · First published 2024

Cover of Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt, Cláudia Nalon · First published 2017

Cover of Automated Deduction – CADE-22

Automated Deduction – CADE-22

Renate A. Schmidt · First published 2009

Cover of Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science

Renate A. Schmidt · First published 2006