Explore projects
-
SMGloM / physics
Creative Commons Attribution Share Alike 4.0 InternationalElementary physics
Updated -
XML Coq Exports / coq-charge-core.1.2.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
SMGloM / functional-analysis
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HelloWorld / paper
Creative Commons Attribution Share Alike 4.0 InternationalA Hello World repository of an sTeX paper.
Updated -
courses / Jacobs / ComSem
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational NL Semantics.
Updated -
courses / FAU / EiDA / test
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalApplications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.
Updated -
XML Coq Exports / coq-functional-algebra.1.0.2
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FAU CDI / Labs / CRIS / HiWi Projects / destatis-klassifikation
GNU Affero General Public License v3.0UpdatedUpdated -
Thesis / Assessment
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / krmt
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMT / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
Updated -
SMGloM / dlohr
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / cs
Creative Commons Attribution Share Alike 4.0 InternationalTerminology in Computer Science
Updated -
JLogic / Alea Iuris
Creative Commons Attribution Share Alike 4.0 InternationalSuppenwürfel.
Updated -
Almanac / Argumentation-Theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / GenCS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
FAU CDI / Labs / CRIS / HiWi Projects / deduplicate
GNU Affero General Public License v3.0Software zur Deduplizierung von CRIS-Inhalten
UpdatedUpdated -
courses / FAU / LBS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course materials for the Lecture Logic Based Language Processing at FAU
Updated