Format:
XI, 239 S.
ISBN:
3-540-10231-0
,
0-387-10231-0
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