Format:
XIV, 284 S.
,
graph. Darst.
ISBN:
3540610405
Series Statement:
Lecture notes in computer science 1053 : Lecture notes in artificial intelligence
Note:
Teilw. zugl.: Saarbrücken, Univ., Diss., 1995
Language:
German
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Indizierung
;
Hochschulschrift
;
Hochschulschrift
Bookmarklink