The problems of the course Advanced Computer Science at Jacobs University.
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
Active documents with models
OMDoc export of the Archive of Formal Proofs
Homework/Quiz problems for AI lectures
The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
The concepts from the AI lecture at MiKoMH/AI