Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Tobias Schmidt-Samoa
Address:
Tobias Schmidt-Samoa
AG Formale Methoden und Deduktion
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany
Fax: ++49 631 205 2156
Email:
schmidt@informatik.uni-kl.de
Impressum
AG Formale Methoden und Deduktion
Fachbereich Informatik
Technische Universität Kaiserslautern
Letzte Änderung: Wednesday, 26-Oct-05 08:59:20 GMT
www-aven@informatik.uni-kl.de
