2400229 – "Practical Course: Interactive Theorem Proving"

Wednesdays 14:00-15:30, starting 2025-10-29

Allgemein

Sprache
Deutsch
Copyright
All rights reserved

Verfügbarkeit

Zugriff
Unbegrenzt – wenn online geschaltet
Aufnahmeverfahren
Sie können diesem Kurs direkt beitreten.
Zeitraum für Beitritte
Unbegrenzt

Für Kursadministration freigegebene Daten

Daten des Persönlichen Profils
Anmeldename
Vorname
Nachname
E-Mail
Matrikelnummer

Zusätzliche Informationen

Objekt-ID
3672679