Format:
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