Format:
VII, 385 S. : graph. Darst.
ISBN:
3-540-10009-1
,
0-387-10009-1
Series Statement:
Lecture notes in computer science 87
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Datenverarbeitung
;
Logik
;
Beweistheorie
;
Datenverarbeitung
;
Konferenzschrift
;
Konferenzschrift
Author information:
Bibel, Wolfgang 1938-