Explore projects
-
courses / FAU / IWGS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Updated -
courses / FAU / SMAI / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / arithmetics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / grammar
Creative Commons Attribution Share Alike 4.0 InternationalBasics for formal grammars
Updated -
courses / FAU / AI / problems
Creative Commons Attribution Share Alike 4.0 InternationalHomework/Quiz problems for AI lectures
Updated -
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 / BGB
Creative Commons Attribution Share Alike 4.0 InternationalSemantic Multilingual (one day...) Glossary of the Law
Updated -
SMGloM / orga
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 / LBS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe course materials for the Lecture Logic Based Language Processing at FAU
Updated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
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 / AI / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg
Updated -
FAU CDI / Labs / ELN / nomad
GNU Affero General Public License v3.0UpdatedUpdated -
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 -
courses / FAU / SymNLProj / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / voll-ki
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated