Advanced Logics

Alias

INF-25-Ma-FTK-AL

Leistungspunkte

9

Anfangssemester

Sommersemester

Verantwortlich

Baier, Christel Prof. Dr. <christel.baier@tu-dresden.de>

Organisation

Professur für Algebraische und logische Grundlagen der Informatik

Sprachen

Deutsch oder English

Erasmus

Master-Abschluss

Status

Aktiv

Modulbeschreibung

Deutsch