Clicky

Automated Deduction – CADE-22 by Renate A. Schmidt and similar books you'll love - Bookscovery

Home > Authors > Renate A. Schmidt > Automated Deduction – CADE-22

Buy at: Bookshop.org Amazon

Automated Deduction – CADE-22

Renate A. Schmidt

Recent activity

Rate this book to see your activity here.

3 Books Similar to Automated Deduction – CADE-22 by Renate A. Schmidt

Bookscovery readers who liked Automated Deduction – CADE-22 also like Automated Reasoning, Automated Reasoning with Analytic Tableaux and Related Methods and Relations and Kleene Algebra in Computer Science. How many of these have you read?

Automated Reasoning by Christoph Benzmüller

Cover of Automated Reasoning
Buy this book at:
Bookshop.org Amazon

Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt

Cover of Automated Reasoning with Analytic Tableaux and Related Methods
Buy this book at:
Bookshop.org Amazon

Relations and Kleene Algebra in Computer Science by Renate A. Schmidt

Cover of Relations and Kleene Algebra in Computer Science
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Deduction – CADE-22

Please sign in to leave a comment