ICCL-SS-2015
From International Center for Computational Logic
ICCL-SS-2015
ICCL Summer School 2015: Reasoning
Research group
People
- Contact Steffen Hölldobler
- Authors Steffen Hölldobler
- https://iccl.inf.tu-dresden.de/web/SummerSchool2015
- 2015 – 2015
- funded by DAAD