Clicky

Automated Reasoning by Stéphane Demri and similar books you'll love - Bookscovery

Home > Authors > Stéphane Demri > Automated Reasoning

Buy at: Bookshop.org Amazon

Recent activity

Rate this book to see your activity here.

8 Books Similar to Automated Reasoning by Stéphane Demri

Bookscovery readers who liked Automated Reasoning also like Temporal Logics in Computer Science, Temporal Logics in Computer Science - Classical Theory and Automated Deduction - Cade-11. How many of these have you read?

Temporal Logics in Computer Science by Stéphane Demri

Cover of Temporal Logics in Computer Science
Buy this book at:
Bookshop.org Amazon

Temporal Logics in Computer Science - Classical Theory by Stéphane Demri

Cover of Temporal Logics in Computer Science - Classical Theory
Buy this book at:
Bookshop.org Amazon

Automated Deduction - Cade-11 by Deepak Kapur

Cover of Automated Deduction - Cade-11
Buy this book at:
Bookshop.org Amazon

Computer Mathematics by Deepak Kapur

Cover of Computer Mathematics
Buy this book at:
Bookshop.org Amazon

Dependable Software Engineering : Theories, Tools, and Applications by Martin änzle

Cover of Dependable Software Engineering : Theories, Tools, and Applications
Buy this book at:
Bookshop.org Amazon

Geometric reasoning by Deepak Kapur

Cover of Geometric reasoning
Buy this book at:
Bookshop.org Amazon

Symbolic and numerical computation for artificial intelligence by Bruce R. Donald

Cover of Symbolic and numerical computation for artificial intelligence
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing – ICTAC 2017 by Dang Van Hung

Cover of Theoretical Aspects of Computing – ICTAC 2017
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automated Reasoning

Please sign in to leave a comment