Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Logik und Formale Methoden - Peter H. Schmitt
[go: Go Back, main page]
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