When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Automated Theorem Proving: Theory and Practice by Monty Newborn (English) Paperb
- Item No : 136103023173
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $129.90
-
* Item Description
- The first four chapters contain introductory material about automated theorem proving and the two programs. As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
