Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Machine Learning for Automated Theorem Proving
- Binding:
- Paperback
- Pages:
- 202
- Published:
- November 21, 2021
- Dimensions:
- 156x11x234 mm.
- Weight:
- 316 g.
Delivery:
1-2 weeks
Expected delivery: December 12, 2024
User ratings of Machine Learning for Automated Theorem Proving
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Machine Learning for Automated Theorem Proving can be found in the following categories:
- Business & Education > Computing & IT
- > > >