Explore projects
-
Archived 0Updated
-
-
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
Archived 0Updated -
-
The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.
Archived 0Updated -
-
A Semantic Multilingual Glossary for Mathematics.
Archived 0Updated -
Problems for the Basics about KWARC, Jacobs, etc. and other missing stuff.
Archived 0Updated -
The problems for the course Computational NL Semantics at Jacobs University
Archived 0Updated -
A private fork of the (public) problems/AI repository for developing the new tuesday quiz problems during the semester. The default strategy will be to upstream the new quiz problems for practice after the quiz has been given, so that they appear in the ALeA system.
Archived 0Updated -
Archived 0Updated
-