ICCL-SS-2015

Aus International Center for Computational Logic

Version vom 10. Juni 2015, 17:57 Uhr von Steffen Hölldobler (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=ICCL-SS-2015 |Name=ICCL Summer School 2015: Reasoning |Name EN=ICCL Summer School 2015: Reasoning |Kontaktperson=Steffen Hölldobler, |Pro…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

ICCL-SS-2015

ICCL Summer School 2015: Reasoning

Forschungsgruppe

Personen

Information
Publikationen

Kontaktperson Steffen Hölldobler
Autoren Steffen Hölldobler
https://ddll.inf.tu-dresden.de/web/SummerSchool2015
2015 – 2015
finanziert durch DAAD

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=ICCL-SS-2015&oldid=16283“

Projekt