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