Explore projects

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.