Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

A

MiKoMH / AI

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

0

Updated Mar 23, 2023

0 0 0 25

Updated Mar 23, 2023
C

MiKoMH / ComSem

The slides and course notes of the course Computational NL Semantics.

0

Updated Mar 20, 2023

0 0 0 0

Updated Mar 20, 2023
N

PVS / NASA

0

Updated Aug 24, 2022

0 0 1 0

Updated Aug 24, 2022
T

IMPS / theories

0

Updated Apr 16, 2021

0 0 0 0

Updated Apr 16, 2021
P

PVS / Prelude

0

Updated Apr 16, 2021

0 0 0 0

Updated Apr 16, 2021