sTeX Descriptions of the VoLL-KI Systems

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

The slides and course notes of the course Computational Logic.

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

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

The concepts from the AI lecture at MiKoMH/AI

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

Logic Atlas, Version 2

The language meta-level of SMGloM

The slides and course notes for the course Text and Digital Media at Jacobs University

Slides and notes for talks held by Michael Kohlhase

The Course General ICT at Jacobs University

The slides and course notes of the course General Computer Science at Jacobs University.

The metadata for the KwarcMH project at MathHub.info