Slides and notes for talks held by Michael Kohlhase

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

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

sTeX Descriptions of the VoLL-KI Systems

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 concepts from the AI lecture at MiKoMH/AI

The language meta-level of SMGloM

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

The metadata for the HelloWorld project at MathHub.info

An example for the MathHub Worker

The metadata for the MiKoMH project at MathHub.info

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

The slides and course notes of the course Computational NL Semantics.

The SMGloM modules for elementary algebra.