Using Sophisticated Models in Resolution Theorem Proving [electronic resource] / edited by David M. Sandford.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Contents:
In:
Springer eBooks
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
![](/opac-tmpl/bootstrap/itemtypeimg/bridge/e_book.png)
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK4463 |
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
There are no comments on this title.