Explore the latest books of this year!
Bookbot

Using Sophisticated Models in Resolution Theorem Proving

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.Add rating