ALUS

Diese Seite ist veraltet.
Genannte Informationen sind vermutlich nicht mehr gültig und werden bald angepasst oder gelöscht

Die Vorlesung Automaten, Logiken und unendliche Spiele ist eine Schwerpunktvorlesung im Hauptstudium.

Weblinks

• http://homepage.mac.com/farwer/als0405/index.html