Home > Authors > Stéphane Demri > Automated Reasoning
Automated Reasoning
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?
Comments and reviews of Automated Reasoning
Please sign in to leave a comment