Clicky

Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt and similar books you'll love - Bookscovery

Home > Authors > Renate A. Schmidt > Automated Reasoning with Analytic Tableaux and Related Methods

Buy at: Bookshop.org Amazon

Automated Reasoning with Analytic Tableaux and Related Methods

Renate A. Schmidt, Cláudia Nalon

Recent activity

Rate this book to see your activity here.

3 Books Similar to Automated Reasoning with Analytic Tableaux and Related Methods by Renate A. Schmidt

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

Automated Deduction – CADE-22 by Renate A. Schmidt

Cover of Automated Deduction – CADE-22
Buy this book at:
Bookshop.org Amazon

Automated Reasoning by Christoph Benzmüller

Cover of Automated Reasoning
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 with Analytic Tableaux and Related Methods

Please sign in to leave a comment