Logik und Formale Methoden am Institut für Theoretische Informatik  

Peter H. Schmitt

Prof. Dr.
Peter H. Schmitt

Forschungsgruppenleiter
Universität Karlsruhe (TH)
Institut für Theoretische Informatik
Geb. 50.34
Am Fasanengarten 5
D-76131 Karlsruhe
Raum: 310
Telefon: +49 721 608 - 4000 / - 3919 (Sekr.)
Telefax: +49 721 608 - 4211
E-Mail: pschmitt@ira.uka.de
Letzte Änderung: 12.03.2008 07:12