Skip to content

Home Practice Lessons About

Renate A. Schmidt

Books

Automated Reasoning
Relations and Kleene Algebra in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Deduction – CADE-22

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.