Explore projects

A Semantic Multilingual Glossary for Mathematics.

FormalCAD Project Content

The glossary entries Chevahir did. May be useful at some point.

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

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 of the course Computational NL Semantics.

Slides and notes for talks held by Michael Kohlhase

The problems of the course General Computer Science at Jacobs University.

The problems for the course Computational Logic at Jacobs University

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

The problems for the course Computational NL Semantics at Jacobs University

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

The problems for the course Text and Digital Media at Jacobs University

The slides and course notes for the course Statistics at Jacobs University

Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.

Problems for the Basics about KWARC, Jacobs, etc. and other missing stuff.

A Semantic Multilingual Glossary for Mathematics.

FormalCAD Project Content