Person:
Zeige:
Zeige 1 bis 10 von 23 Ergebnissen
Zeige 1 bis 10 von 23 Ergebnissen
Dageförde, Jan C.; Kuchen, Herbert (2023) In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Hrsg.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Cham: . Forschungsartikel (Buchbeitrag) | |
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021) In: (Hrsg.), . . Forschungsartikel in Sammelband (Konferenz) | |
Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (Hrsg.), Declarative Programming and Knowledge Management. . Forschungsartikel (Buchbeitrag) | |
Dageförde Jan C., Kuchen Herbert (2020) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) | |
Dageförde, Jan C. (2020) Münster(kein Verlag angegeben). Qualifikationsschrift (Dissertation, Habilitationsschrift) | |
Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Arbeitspapier / Working Paper | |
: | |
In: (Hrsg.), . | |
In: (Hrsg.), . | |
In: (Hrsg.), . |