The slides and course notes of the course Computational Logic.

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

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

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

Logic Atlas, Version 2

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

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.

Slides and notes for talks held by Michael Kohlhase

Graph Theory Modules in SMGloM

Repository for the LBS lecture, winter semester 2022/2023

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

The Course General ICT at Jacobs University

The SMGloM modules for elementary algebra.

Basics for formal grammars

An SMGloM Archive for Logic

The metadata for the MiKoMH project at MathHub.info

Elementary set theory for the SMGloM