GdI-MTL: Modal and Temporal Logic
- Dozent/in
- Prof. Michael Mendler, Ph.D.
- Angaben
- Vorlesung
Präsenz + Online-Anteile 2,00 SWS
Zeit und Ort: Di 14:00 - 16: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
|
|