Item added to cart

Free

Shipping
22% Off
ShopSpell

Using Sophisticated Models in Resolution Theorem Proving [Paperback]

$42.99     $54.99    22% Off      (Free Shipping)
100 available
  • Category: Books (Mathematics)
  • Author:  Sandford, David M.
  • Author:  Sandford, David M.
  • ISBN-10:  3540102310
  • ISBN-10:  3540102310
  • ISBN-13:  9783540102311
  • ISBN-13:  9783540102311
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-1980
  • Pub Date:  01-Feb-1980
  • SKU:  3540102310-11-SPRI
  • SKU:  3540102310-11-SPRI
  • Item ID: 100936066
  • List Price: $54.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 04 to Jul 06
  • Notes: Brand New Book. Order Now.
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.Springer Book Archives
Add Review

 

 

 

 

Copyright © 2018 - 2026 ShopSpell