Woche: 5. Dezember - 11. Dezember | AISE-Sem-M: Masterseminar (Oberseminar) KI-Systementwicklung

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.

Abschnittsübersicht

David Fuenmayor (U Bamberg)
Bridging Legal Argumentation and Automated Theorem Proving

Impressum | Datenschutzerklärung | Kontakt | Urheberrecht