Institut für Informatik (Karlsruhe, 1) Bezüge im Wissensnetz Als Administrative Überordnung der Körperschaft beteiligt (1) GND-Körperschaften Universität Kaiserslautern. SEKI-Projekt Als Vorherige Körperschaft beteiligt (1) GND-Körperschaften Universität Karlsruhe. Institut für Logik, Komplexität und Deduktionssysteme Administrative Überordnung der Körperschaft (1) GND-Körperschaften Universität Karlsruhe (TH). Fakultät für Informatik Sitz (1) GND-Körperschaften Karlsruhe Nachfolgende Körperschaft (1) GND-Körperschaften Universität Karlsruhe. Institut für Logik, Komplexität und Deduktionssysteme