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

The metadata for the MiKoMH project at MathHub.info

Foundations of Units and Quantities.

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

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

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

The SMGloM modules for topology

Elementary set theory for the SMGloM

special numbers in SMGloM

The SMGloM modules on linear algebra.

Graph Theory Modules in SMGloM

Terminology in Computer Science


The SMGloM modules for calculus


The course on Secure and Dependable Systems.

The course materials for the Lecture Logic Based Language Processing at FAU

The slides and course notes of the course Computational Logic at Jacobs University.

The slides and course notes of the course Computational NL Semantics at Jacobs University.

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

Logic Atlas, Version 2