Explore projects

The glossary entries Chevahir did. May be useful at some point.

The course materials for the Lecture Logic Based Language Processing at FAU

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

An SMGloM Archive for Logic

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

Some foundations of Tannakian Symbols and their relations.

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

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