Using Sophisticated Models in Resolution Theorem Proving [electronic resource] /
edited by David M. Sandford.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1980.
- XI, 242 p. online resource.
- Lecture Notes in Computer Science, 90 0302-9743 ; .
- Lecture Notes in Computer Science, 90 .
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
9783540383062
10.1007/3-540-10231-0 doi
Computer science.
Computer Science.
Mathematical Logic and Formal Languages.
QA8.9-QA10.3
005.131
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
9783540383062
10.1007/3-540-10231-0 doi
Computer science.
Computer Science.
Mathematical Logic and Formal Languages.
QA8.9-QA10.3
005.131