Format:
IX, 283 S.
,
graph. Darst.
ISBN:
3540655093
Series Statement:
Lecture notes in computer science 1527 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Konnektionsmethode
;
Konferenzschrift
;
Hochschulschrift