Explore projects

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

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

Active documents with models

OMDoc export of the Archive of Formal Proofs

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

Homework/Quiz problems for AI lectures

The concepts from the AI lecture at MiKoMH/AI