Home > Authors > Jürgen Giesl > Automated Reasoning
Automated Reasoning
Recent activity
Rate this book to see your activity here.
3 Books Similar to Automated Reasoning by Jürgen Giesl
Bookscovery readers who liked Automated Reasoning also like
Term Rewriting and Applications, Deductive Software Verification : Future Perspectives and Deductive Software Verification - the KeY Book.
How many of these have you read?
Comments and reviews of Automated Reasoning
Please sign in to leave a comment