Explore projects
-
The course materials for the Lecture Logic Based Language Processing at FAU
Updated -
The problems for the course Text and Digital Media at Jacobs University
Updated -
Updated
-
The Problems for the course General ICT at Jacobs University
Updated -
Updated
-
-
Updated
-
The problems for the course Computational Logic at Jacobs University
Updated -
The Metadata for the MMATh formalizations and active documents.
Updated -
-
Updated
-
User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.
Updated -
Updated
-
-
Updated
-
Updated
-
Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
-
-