ICCL-SS-2015

Aus International Center for Computational Logic
Version vom 2. März 2017, 16:00 Uhr von Markus Krötzsch (Diskussion | Beiträge) (Textersetzung - „ddll.inf.tu-dresden.de“ durch „iccl.inf.tu-dresden.de“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Toggle side column

ICCL-SS-2015

ICCL Summer School 2015: Reasoning