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, 1997
-
Berlin; Heidelberg [u.a.]: Springer, 1996
-
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: Staats- und Universitätsbibliothek Bremen, 2019
-
Bremen: Staats- und Universitätsbibliothek Bremen, 2017
-
Bremen: Staats- und Universitätsbibliothek Bremen, 2017
-
Aachen: Universitätsbibliothek der RWTH Aachen, 2021
-
Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2017
-
Bremen: Staats- und Universitätsbibliothek Bremen, 2016
-
Bremen: Staats- und Universitätsbibliothek Bremen, 2013