Home | english | Impressum | Sitemap | KIT

Logik und Formale Methoden

Mitarbeiter
Forschung
Studium und Lehre
Studien- und Diplomarbeiten, Hiwi-Stellen
Veröffentlichungen
So finden Sie uns

Prof. Dr. Jürgen Dix

Prof. Dr. Jürgen Dix Jürgen Dix KIT

/dix.php

KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft