---
layout: course
instructor: Prof. Dr. Michael Kohlhase
title: Seminar Wissensrepräsentation und -verarbeitung
menu_title: Seminar WuV
---

This seminar covers topics from knowledge representation and knowledge processing, mostly
with a focus on mathematical knowledge.