Universität Karlsruhe. Institut für Theoretische Informatik Bezüge im Wissensnetz Als Affiliation beteiligt (9) GND-Personen 9 Einträge anzeigen Bingmann, Timo Erb, Stephan Kluge, Roland Maier, Tobias Schopmans, Henrik Schulz, Christian Sinz, Carsten Stamatakis, Alexandros Stee, Rob van Als Nachfolgende 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 Vorherige Körperschaft (1) GND-Körperschaften Universität Karlsruhe. Institut für Logik, Komplexität und Deduktionssysteme Sitz (1) GND-Körperschaften Karlsruhe