Workshop
DT-2019: Deduktionstreffen
Beschreibung
Jahrestreffen der Fachgruppe Deduktionssysteme (FG DedSys) und Workshop "Deduktionstreffen"
Chairs: Alexander Steen (U Luxembourg) und Claudia Schon (U Koblenz-Landau)