Format:
XIII, 331 S.
Edition:
Repr.
ISBN:
0121703509
Series Statement:
Computer science classics
Note:
Literaturverz. S. 309 - 324
Language:
English
Subjects:
Computer Science
Keywords:
Mathematische Logik
;
Beweistheorie
;
Optimierung
;
Nichtnumerisches Verfahren
;
Nichtnumerische Datenverarbeitung
;
LISP
;
Logik
;
Automatisches Beweisverfahren