Zum Inhalt springen
-
1996
-
Karlsruhe: Inst. für Logik, Komplexität und Deduktionssysteme, 1992 ; Karlsruhe: Univ., Fak. für Informatik, 1992
-
Karlsruhe: Inst. für Logik, Komplexität und Deduktionssysteme, [1993]
-
Karlsruhe: Inst., Univ., 1990
-
München [u.a.]: Pearson Studium, 2009
-
Berlin; Heidelberg [u.a.]: Springer, 1996
-
Berlin; Heidelberg [u.a.]: Springer, 1997
-
Bonn: Ges. für Informatik, 2007
-
KIT-Bibliothek, Karlsruhe, 2023-11-09
-
KITopen (Karlsruhe Institute of Technologie), 2008-01-16
-
KITopen (Karlsruhe Institute of Technologie), 2008-01-16
-
KITopen (Karlsruhe Institute of Technologie), 2008-01-16
-
KIT-Bibliothek, Karlsruhe, 1996-01-01
-
Bremen, 2024
-
Bremen, [2024]
-
Bremen, 2024
-
Bremen, 2022
-
Bremen, 2022
-
Bremen, 2021
-
Bremen, 2021