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.

5 Books Similar to Automated Reasoning by Christoph Benzmüller

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

Logic and Argumentation by Pietro Baroni

Cover of Logic and Argumentation
Buy this book at:
Bookshop.org Amazon

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