Explore projects

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

Terminology in Computer Science

The SMGloM modules for calculus

The problems for the lecture Logic Based Language Processing at FAU

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

Basics for formal grammars

sTeX Descriptions of the VoLL-KI Systems

The SMGloM modules for elementary algebra.

The concepts from the AI lecture at MiKoMH/AI