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

correcting semester

parent 9331538e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
courses/KRMT.md
+ 2
− 2
View file @ e04bc920
---
layout: course
title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
instructor: mkohlhase
semesters:
- SS16/17
- SS17
---
Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment