Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

FB Inf

Veranstaltungen im WS 2003/04

Angeboten werden:

die Vorlesung Theorembeweisen in der PL1
die Vorlesung Induktives Theorembeweisen
das Seminar über Theorembeweisen
das Praktikum Reduktionssysteme

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

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