Explore projects
-
-
Updated
-
Updated
-
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
The problems for the course Computational Logic at Jacobs University
Updated -
The Problems for the course General ICT at Jacobs University
Updated -
The problems for the course Text and Digital Media at Jacobs University
Updated -
Updated
-
The problems for the lecture Logic Based Language Processing at FAU
Updated -
The problems of the course General Computer Science at Jacobs University.
Updated -
The problems of the course Advanced Computer Science at Jacobs University.
Updated -