--- layout: course instructor: Prof. Dr. Michael Kohlhase title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen* menu_title: Vorlesung KRMT --- say more here
