Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
-
Active documents with models
-
OMDoc export of the Archive of Formal Proofs
-
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
-
The concepts from the AI lecture at MiKoMH/AI
-
-
The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.
-
-
The SMGloM modules for elementary algebra.
-
The SMGloM modules for elementary algebra.
-
The SMGloM modules for elementary algebra.
-
Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
-
-
-
-
-
-
-