From 914a8ae113a78231e0bee4767e1f331c9b05eb89 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 7 Apr 2020 17:17:22 +0200 Subject: [PATCH] Update overview.md --- courses/overview.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/overview.md b/courses/overview.md index 4e746cd..bce16a4 100644 --- a/courses/overview.md +++ b/courses/overview.md @@ -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/). -- GitLab