You'll get the exact copy in the photo
Parameters
More about the book
1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.
Book purchase
Using Sophisticated Models in Resolution Theorem Proving, David M. Sandford
- Language
- Released
- 1980
- product-detail.submit-box.info.binding
- (Paperback),
- Book condition
- Good
- Price
- €12.99
Payment methods
No one has rated yet.