Format:
207 S. : graph. Darst.
Edition:
3., überarb. Aufl.
ISBN:
3-411-14013-5
Series Statement:
Reihe Informatik 56
Note:
Literaturverz. S. 197 - 201
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Logische Programmierung
;
Datenverarbeitung
;
Logik
;
Logik
;
Informatik
Author information:
Schöning, Uwe 1955-