Umfang:
Online-Ressource (XI, 239 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540383062
Serie:
Lecture notes in computer science 90
Inhalt:
1 Introduction -- 2 Hereditary lock resolution -- 3 Completeness of HL-resolution -- 4 Models -- 5 Discussion of HLR.
Anmerkung:
Zugl.: Diss. u.d.T.: Sandford, David M.: HL-resolution, a semantic refinement of resolution and a theory of model specification
Weitere Ausg.:
ISBN 3540102310
Weitere Ausg.:
ISBN 0387102310
Weitere Ausg.:
ISBN 9783540102311
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Sandford, David M. Using sophisticated models in resolution theorem proving Berlin [u.a.] : Springer, 1980 ISBN 3540102310
Weitere Ausg.:
ISBN 0387102310
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Beweistheorie
;
Automatisches Beweisverfahren
;
Künstliche Intelligenz
;
Logik
;
Hochschulschrift
DOI:
10.1007/3-540-10231-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink
