The slides and course notes of the course Computational Logic.
Demonstrations and Examples for sTeX
The metadata for the MiKoMH project at MathHub.info
The slides and course notes of the course General Computer Science at Jacobs University.
Graph Theory Modules in SMGloM
Logic Atlas, Version 2
Basics for formal grammars
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Homework/Quiz problems for AI lectures
User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.