Format:
III, 297 S.
,
graph. Darst.
ISBN:
3929037211
Series Statement:
Dissertationen zur künstlichen Intelligenz 21
Note:
Zugl.: Bonn, Univ., Diss., 1992
Language:
German
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Parallelverarbeitung
;
Künstliche Intelligenz
;
Deduktionssystem
;
Parallelverarbeitung
;
Hochschulschrift
Bookmarklink