Detailseite
Person
Professor Dr. Jean Christoph Jung
Adresse
Technische Universität Dortmund
Fakultät für Informatik
Informatik I - Lehrstuhl Logik in der Informatik
Otto-Hahn-Straße 16
44227 Dortmund
ORCID-ID 0000-0002-4159-2255
