Format:
172 S.
,
graph. Darst.
ISBN:
3528047186
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Automatisches Beweisverfahren
;
Logik
;
Informatik
;
Logik
;
Mathematik
;
Einführung
Author information:
Hofbauer, Dieter
Author information:
Kutsche, Ralf-Detlef 1955-