UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
Das Sommersemester 2022 findet in Präsenz statt. Weitere Informationen entnehmen Sie bitte den FAQ-Seiten der Universität.
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Sprachenzentrum >> Abteilung Slavische Sprachen >>

  GdI-MTL: Modal and Temporal Logic

Dozent/in
Prof. Michael Mendler, Ph.D.

Angaben
Vorlesung
Online/Präsenz
2,00 SWS
Englischsprachig
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

UnivIS ist ein Produkt der Config eG, Buckenhof