Index of /DAA/DAA2_2019
Name
Last modified
Size
Description
Parent Directory
-
L3c_Goedel_comments_16.10.2019.webm
2019-10-16 13:02
359M
L3a_Halting_Problem_16.10.2019.webm
2019-10-16 11:01
337M
L3b_Goedel_incompleteness_16.10.2019.webm
2019-10-16 11:56
317M
Apache/2.4.62 (Debian) Server at skelet.ludost.net Port 443