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 ErlangenNürnberg

The concepts from the AI lecture at MiKoMH/AI


The discussion problems for the plenary sessions of the AI1/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)






