eClass ΕΚΠΑ | Ειδικά Θέματα Λογικής: Θεωρία Τύ... | Ανακοινώσεις

Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf

DI553 - Νικόλαος Ρήγας

Ανακοινώσεις

Παρουσίαση 16 Μαρτίου

Θέμα: Κανονικοποίηση για τη θεωρία τύπων
Ομιλητής: Νικόλαος-Αλέξανδρος Τσακαλωφάς
Ημέρα: Τρίτη 16 Μαρτίου
Ώρα: 12:15

Κυριακή 14 Μαρτίου 2021 - 11:38 μ.μ.