Explore projects
-
courses / Jacobs / ComSem
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational NL Semantics.
Updated -
courses / FAU / GDP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / cs
Creative Commons Attribution Share Alike 4.0 InternationalTerminology in Computer Science
Updated -
courses / Jacobs / GenCS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems of the course General Computer Science at Jacobs University.
Updated -
JLogic / SMGloL / Civil-Procedural-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Constitutional-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
JLogic / SMGloL / Public-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / automata
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UMR / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
Updated -
courses / FAU / EiDA / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / csp
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
courses / IISc / ATC / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Administrative-Procedural-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated -
SMGloM / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalApplications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
SMGloM / arithmetics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / TheoCS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated