Explore projects
-
courses / FAU / SMAI / problems
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Documentation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 26-BAI-FLAMS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
SMGloM / arithmetics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / linguistics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / NLP
Creative Commons Attribution Share Alike 4.0 InternationalGlossary entries for Natural Language (Processing)
Updated -
SMGloM / ai
Creative Commons Attribution Share Alike 4.0 InternationalThe concepts from the AI lecture at MiKoMH/AI
Updated -
SMGloM / math
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / mathsoft
Creative Commons Attribution Share Alike 4.0 InternationalA SMGloM archive for mathematical Software
Updated -
SMGloM / cs
Creative Commons Attribution Share Alike 4.0 InternationalTerminology in Computer Science
Updated -
Mihnea Iancu / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
KwarcMH / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
SMGloM / chevahir
Creative Commons Attribution Share Alike 4.0 InternationalThe glossary entries Chevahir did. May be useful at some point.
Updated -
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
KwarcMH / SiSsI
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Constantin Jucovschi / SMGloM
Creative Commons Attribution Share Alike 4.0 InternationalA Semantic Multilingual Glossary for Mathematics.
Updated -
Michael Kohlhase / FormalCAD
Creative Commons Attribution Share Alike 4.0 InternationalFormalCAD Project Content
Updated -
Constantin Jucovschi / SimplifiedWinograd
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Andra Lezza / SAllyAir
Creative Commons Attribution Share Alike 4.0 InternationalUpdated