About Us
Alerts
Contact
Ordering Info
Help
Log in
Home
FnTs
Journals
Books
NowOpen
Order
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
Sean B. Holden
978-1-68083-899-2
140.00 USD
Name
E-mail address
Buy now
Please note that E-Book purchases can take up to two business days to be processed.