Clicky

Automated Reasoning by Christoph Benzmüller and similar books you'll love - Bookscovery

Home > Authors > Christoph Benzmüller > Automated Reasoning

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

4 Books Similar to Automated Reasoning by Christoph Benzmüller

Bookscovery readers who liked Automated Reasoning also like Theory and Applications of Satisfiability Testing -- SAT 2015, Automated Deduction – CADE-22 and Automated Reasoning with Analytic Tableaux and Related Methods. How many of these have you read?

Theory and Applications of Satisfiability Testing -- SAT 2015 by Marijn Heule

Cover of Theory and Applications of Satisfiability Testing -- SAT 2015
Buy this book at:
Bookshop.org Amazon

Automated Deduction – CADE-22 by Renate A. Schmidt

Cover of Automated Deduction – CADE-22
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 Reasoning

Please sign in to leave a comment