Umfang:
1 Online-Ressource (XI, 239 S.)
ISBN:
3540102310
,
0387102310
Serie:
Lecture notes in computer science 90
Anmerkung:
Zugl.: Diss. u.d.T.: Sandford, David M.: HL-resolution
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
Künstliche Intelligenz
;
Logik
;
Hochschulschrift
;
Hochschulschrift
DOI:
10.1007/3-540-10231-0
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink