KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
IdM-login
German
Professur für Wissensrepräsentation und -verarbeitung
lecture
university lecture
part 1