Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Ablauf des Übungsbetriebs zur Vorlesung Reduktionssysteme im Sommersemester 2001


Zu der Vorlesung kann ein Schein erworben werden. Nähere Angaben erfolgen in der ersten Vorlesung.
Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de