KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
IdM-Anmeldung
Deutsch
Professur für Wissensrepräsentation und -verarbeitung
Vorlesung
universitäre Vorlesung