AISE-Auto: Automation of Logical Reasoning (Tutorial) (SS25)

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.

Einschreibeoptionen

AISE-Auto: Automation of Logical Reasoning (Tutorial)

Moderator/in: Christoph Benzmüller
Moderator/in: David Fuenmayor Pelaez
Moderator/in: Cornelia Geisler

Semester: 2025 Sommersemester

Impressum | Datenschutzerklärung | Kontakt | Urheberrecht

Einschreibeoptionen

AISE-Auto: Automation of Logical Reasoning (Tutorial)

Selbsteinschreibung (Teilnehmer/in)