Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A Semantic Multilingual Glossary for Mathematics.
-
A Semantic Multilingual Glossary for Mathematics.
-
FormalCAD Project Content
-
The glossary entries Chevahir did. May be useful at some point.
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
The slides and course notes of the course Computational Logic at Jacobs University.
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The slides and course notes of the course Computational NL Semantics at Jacobs University.
-
Slides and notes for talks held by Michael Kohlhase
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
The slides and course notes for the course Text and Digital Media at Jacobs University
-
The slides and course notes for the course Statistics at Jacobs University
-
Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.
-
-
A Semantic Multilingual Glossary for Mathematics.
-
FormalCAD Project Content
-
-
-
The language meta-level of SMGloM
-