• Shop by category
  • Powered by eBay
  • Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSA...

    • Item No : 405805141957
    • Condition : Like New
    • Brand : No brand Info
    • Seller : superbookdeals1
    • Current Bid : US $109.84
    • * Item Description

    • Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT, ISBN 1680838989, ISBN-13 9781680838985, Like New Used, Free P&P in the UK
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category