UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 

GdI-MTL: Modal and Temporal Logic

Dozent/in
Luke Burke

Angaben
Übung
Präsenz + Online-Anteile
2,00 SWS
Zeit und Ort: Do 8:00 - 10:00, WE5/04.004

Englischsprachige Informationen:
Title:
Modal and Temporal Logic

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 20
www: https://vc.uni-bamberg.de/course/view.php?id=51142

Institution: Professur für Grundlagen der Informatik

Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:

Link zur eigenständigen Verwendung

Link zur Verwendung in Typo3

UnivIS ist ein Produkt der Config eG, Buckenhof