Vorlesung:
Deduktionssysteme: Grundlagen und Anwendungen (SS99)
Verschiedene Hinweise (war: Aktuelles)
Am Montag, den 10. Mai, findet von 10-12 Uhr im Raum 307 eine Ersatzvorlesung statt.
Marko
Schütz
$Id: warAktuell.html,v 1.2 1999/06/01 13:20:51 marko Exp $