Explore GitLab
Discover projects, groups and snippets. Share your projects with others

The slides and course notes of the course Computational Logic.

The Course General ICT at Jacobs University

The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg

The slides and course notes of the course Computational NL Semantics.

The slides and course notes of the course General Computer Science at Jacobs University.

The metadata for the MiKoMH project at MathHub.info

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.

The course notes and slides of the course "Informatische Werkzeuge der Geistes und Sozialwissenschaften" at FAU ElangenNürnberg

Slides and notes for talks held by Michael Kohlhase

Applications of SMGloM, a semantic multilingual resource for mathematics  glossaries and dictionaries.

A Hello World repository of an sTeX paper.

An example for the MathHub Worker

The SMGloM modules for calculus

The SMGloM modules on linear algebra.


An SMGloM Archive for Logic

