Paradigmatic examples of MMT content. They are used for development and regression testing.

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

The slides and course notes of the course Computational Logic at Jacobs University.

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

Slides and notes for talks held by Michael Kohlhase

The materials of the LBS course held in WS 2019/20.

KRMT SS2017

Number Theoretic Functions

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

magic squares and their friends

Basic concepts about computers and programming

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

The slides and course notes of the course Computational NL Semantics at Jacobs University.

Logic Atlas, Version 2

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

Examples for Grammatical Logical Framework (GLF)

The SMGloM modules for calculus