Zum Hauptinhalt
Website-Übersicht
Startseite
Alle Kurse
Anwendungen
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
Mehr
Sie sind als Gast angemeldet
Login
Startseite
Alle Kurse
Anwendungen
Einklappen
Ausklappen
Opencast iFrame Generator
Opencast Studio-Standalone
efolio
Hilfe zum VC
Einklappen
Ausklappen
Erste Schritte
Getting Started
Häufig gestellte Fragen
Anleitungen für VC-Teilnehmer/innen
Anleitungen für VC-Moderator/innen
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
Fakultät WIAI
Angewandte Informatik
Lehrstuhl für KI-Systementwicklung
Sommersemester 2023
AISE-Auto: Automation of First- and Higher-Order Logic
Einschreibeoptionen
AISE-Auto: Automation of First- and Higher-Order Logic
AISE-Auto: Automation of First- and Higher-Order Logic
Moderator/in:
Christoph Benzmüller
Moderator/in:
David Fuenmayor Pelaez
Moderator/in:
Cornelia Geisler
Semester
:
2023 Sommersemester
Gastzugang
Gastzugang
Gastzugang
Gastschlüssel
Selbsteinschreibung (Teilnehmer/in)
Selbsteinschreibung (Teilnehmer/in)
Selbsteinschreibung (Teilnehmer/in)
Gäste können auf diesen Kurs nicht zugreifen. Melden Sie sich bitte an.
Weiter
Impressum
|
Datenschutzerklärung
|
Kontakt
|
Urheberrecht