Explore projects

The slides and course notes of the course Computational Logic.

The metadata for the MiKoMH project at MathHub.info

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

The metadata for the MiKoCourses project at MathHub.info

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

OMDoc/MMT Tutorial for Mathematicians

Slides and notes for talks held by Michael Kohlhase

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

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

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.

Elementary set theory for the SMGloM

The Course General ICT at Jacobs University

LMFDB Knowls exported to sTeX.