ICCL-SS-2015
Aus International Center for Computational Logic
ICCL-SS-2015
ICCL Summer School 2015: Reasoning
Forschungsgruppe
Personen
- Kontaktperson Steffen Hölldobler
- Autoren Steffen Hölldobler
- https://iccl.inf.tu-dresden.de/web/SummerSchool2015
- 2015 – 2015
- finanziert durch DAAD
