Skip to content
Snippets Groups Projects
Commit 914a8ae1 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Update overview.md

parent 8a007cf9
No related branches found
No related tags found
No related merge requests found
Pipeline #2122 passed
......@@ -70,8 +70,8 @@ zwei-semestrige Einführungsvorlesung. Diese gibt eine Einführung und exemplari
Die anderen Veranstaltungen gruppieren sich um die
[Forschungsthemen der KWARC Gruppe](/research/):
* In der [Vertiefungsvorlesung "Wissensrepräsentation und -Verarbeitung"](/courses/wuv)
wird Grunlagenorientiert die formale Repräsentation von verschiedenen Arten von Wissen
vorgestellt. v
wird grundlagenorientiert die formale Repräsentation von verschiedenen Arten von Wissen
vorgestellt.
* In den beiden Spezialvorlesungen behandeln wir im Wechsel
[Wissensrepräsentation für mathematisches Wissen](/courses/KRMT) und
[Logikbasierte Sprachverarbeitung](/courses/lbs/).
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment