Beschreibung von AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician

Startseite Alle Kurse Anwendungen Hilfe zum VC

JavaScript ist in Ihrem Browser deaktiviert.
Viele Funktionen in Moodle können nicht verwendet werden oder scheinen fehlerhaft zu sein.
Aktivieren Sie bitte JavaScript, um Moodle in vollem Umfang nutzen zu können.

AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician

Moderator/in: Christoph Benzmüller
Moderator/in: David Fuenmayor Pelaez
Moderator/in: Daniel Kirchner

Semester: 2023 Sommersemester

Impressum | Datenschutzerklärung | Kontakt | Urheberrecht