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