Prof. Dr. Michael Kohlhase

Technische Fakultät
Department Informatik, Professur für Wissensrepräsentation und -verarbeitung