Format:
XII, 331 S. :
,
graph. Darst.
ISBN:
0-12-170350-9
Series Statement:
Computer science classics
Language:
German
Subjects:
Comparative Studies. Non-European Languages/Literatures
,
Mathematics
Keywords:
Mathematische Logik
;
Beweistheorie
;
Optimierung
;
Nichtnumerisches Verfahren
;
Nichtnumerische Datenverarbeitung
;
LISP