Automated Deduction : CADE 30
Automated Deduction : CADE 30
3 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Clark Barrett
Algorithms for Verifying Deep
Algorithms for Verifying Deep Neural Networks
Identifying and Mitigating the
Identifying and Mitigating the Security Risks of Generative AI
Proceedings of the Joint Works
Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning