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

upddates

parent ed5b3dca
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -25,6 +25,6 @@ aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen T
keine notwendige Voraussetzung.
Diskussionen finden auf dem
[FSI Forum LBS](https://fsi.cs.fau.de/forum/?????) statt. Dies ist
[FSI Forum LBS](https://fsi.cs.fau.de/forum/152-Logik-Basierte-Sprachverarbeitung) statt. Dies ist
eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
schnell auf Fragen zu antworten. Also das Forum abonnieren!
......@@ -39,7 +39,7 @@ Hier ist eine Auswahl für das WS 17/18:
| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/?????)
Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
......@@ -5,6 +5,8 @@ role: master-student
pic: public/images/jfschaefer.jpg
start_date: 2014-03
---
### Thesis Title:
KWARC Master Student
### Bachelor's Thesis Title:
Declaration Spotting in Mathematical Documents
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