Item added to cart

Free

Shipping
24% Off
ShopSpell

The Efficiency of Theorem Proving Strategies A Comparative and Asymptotic Analy [Paperback]

$41.99     $54.99    24% Off      (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Plaisted, David A., Zhu, Yunshan
  • Author:  Plaisted, David A., Zhu, Yunshan
  • ISBN-10:  3528155744
  • ISBN-10:  3528155744
  • ISBN-13:  9783528155742
  • ISBN-13:  9783528155742
  • Publisher:  Vieweg+Teubner Verlag
  • Publisher:  Vieweg+Teubner Verlag
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-1999
  • Pub Date:  01-Feb-1999
  • SKU:  3528155744-11-SPRI
  • SKU:  3528155744-11-SPRI
  • Item ID: 105304235
  • List Price: $54.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 05 to Jul 07
  • Notes: Brand New Book. Order Now.
Add Review

 

 

 

 

Copyright © 2018 - 2026 ShopSpell