Modal Logic

Alias

INF-25-Ma-FTK-MoL

Leistungspunkte

6

Anfangssemester

Wintersemester

Verantwortlich

Piribauer, Jakob Dr. rer. nat. <jakob.piribauer@tu-dresden.de>

Organisation

Professur für Algebraische und logische Grundlagen der Informatik

Sprachen

Deutsch oder English

Erasmus

Master-Abschluss

Status

Aktiv

Modulbeschreibung

Deutsch · English