wuv.md

layout: course

title: Seminar Wissensrepräsentation und -verarbeitung
instructor:
  - mkohlhase

semesters:
    - SS17
    - WS17/18

This seminar covers topics from knowledge representation and knowledge processing, mostly with a focus on mathematical knowledge. Topics are agreed up with the instructor.