Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.
-
The slides and course notes of the course Computational Logic.
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
-
Elementary set theory for the SMGloM
-
special numbers in SMGloM
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
-
The course materials for the Lecture Logic Based Language Processing at FAU
-
The slides and course notes of the course Computational NL Semantics.
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
-
Basic concepts about computers and programming
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
-
-
Glossary entries for Natural Language (Processing)
-
A SMGloM archive for mathematical Software
-
The SMGloM contributions of Jukka Kohonen.
-
The SMGloM modules for elementary algebra.
-