Sold out
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)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Using Sophisticated Models in Resolution Theorem Proving
- Language
- English
- Authors
- David M. Sandford
- Publisher
- Springer-Verlag
- Released
- 1980
- Format
- Paperback
- ISBN10
- 3540102310
- ISBN13
- 9783540102311
- Series
- Description
- 1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.