Explore projects

The slides and course notes of the course Computational Logic.

Software zur Visualisierung von CRIS-Inhalten

The problems of the course General Computer Science at Jacobs University.

The SMGloM modules for elementary algebra.

The concepts from the AI lecture at MiKoMH/AI