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 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)