Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus
Ansprechpartner
Ansprechpartner für die Vorlesung
Theorembeweisen in PL1
im Wintersemester 2002/2003
Tobias Schmidt-Samoa, Raum: 34/407, Telefon: 0631/205-3338,
Impressum
AG Formale Methoden und Deduktion
Fachbereich Informatik
Technische Universität Kaiserslautern
Letzte Änderung: Wednesday, 26-Oct-05 08:59:17 GMT
www-aven@informatik.uni-kl.de
