In this book, the author presents the results of his thorough and systematic review of the research at the intersection of two apparently rather unrelated fields: Automated Theorem Proving (ATP) and Machine Learning (ML).
Read More
In this book, the author presents the results of his thorough and systematic review of the research at the intersection of two apparently rather unrelated fields: Automated Theorem Proving (ATP) and Machine Learning (ML).
Read Less
Add this copy of Machine Learning for Automated Theorem Proving: to cart. $148.32, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2021 by Now Publishers.
Add this copy of Machine Learning for Automated Theorem Proving: to cart. $189.62, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2021 by Now Publishers.
Add this copy of Machine Learning for Automated Theorem Proving: to cart. $191.19, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2021 by Now Publishers.
