Skip to contents
-
Karlsruhe: Institut für Logik, Komplexität und Deduktionssysteme, 1990
-
Springer Verlag, 1994-01-01
-
KITopen (Karlsruhe Institute of Technologie), 2008-01-16
-
KITopen (Karlsruhe Institute of Technologie), 2008-01-16
-
Kluwer Academic Publishers, 2002
-
Springer Berlin Heidelberg, 2000
-
Springer Berlin Heidelberg, 1999
-
Springer Berlin Heidelberg, 1997