Format:
1 Online-Ressource (XI, 239 S.)
ISBN:
3540102310
,
0387102310
Series Statement:
Lecture notes in computer science 90
Note:
Zugl.: Diss. u.d.T.: Sandford, David M.: HL-resolution
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Künstliche Intelligenz
;
Logik
;
Hochschulschrift
DOI:
10.1007/3-540-10231-0