Format:
1 Online-Ressource.
Edition:
5., überarb. Aufl.
ISBN:
978-3-8348-1520-0
,
978-3-8348-8125-0
Series Statement:
Leitfäden der Informatik
Language:
German
Subjects:
Computer Science
Keywords:
Mathematische Logik
;
Beweis
;
Mengenlehre
;
Boolesche Algebra
;
Graphentheorie
;
Informatik
;
Mathematik
DOI:
10.1007/978-3-8348-8125-0
Author information:
Meinel, Christoph 1954-
Author information:
Mundhenk, Martin 1961-