Format:
1 Online-Ressource.
Edition:
3., überarb. und erw. Aufl.
ISBN:
3-8351-0049-1
,
978-3-8351-0049-7
,
978-3-8351-9036-8
Series Statement:
Leitfäden der Informatik
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Beweis
;
Mengenlehre
;
Boolesche Algebra
;
Graphentheorie
;
Informatik
;
Mathematik
DOI:
10.1007/978-3-8351-9036-8
Author information:
Meinel, Christoph, 1954-
Author information:
Mundhenk, Martin, 1961-2024.