Machine Learning for Automated Reasoning by Daniel A. Kühlwein | Menrva Books