Order

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Secured by PayPal
PayPal Acceptance Mark

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT

Sean B. Holden

978-1-68083-899-2

140.00 USD

Please note that E-Book purchases can take up to two business days to be processed.