![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AI_IIT101_work_386.zip | 2024-02-14 17:20 | 31M | |
| DL_tableaux.html | 2024-01-18 16:19 | 5.3K | |
| DL_tableaux.text | 2024-01-18 13:57 | 5.2K | |
| concrete_domains.html | 2024-01-18 16:16 | 5.6K | |
| concrete_domains.text | 2024-01-18 14:09 | 2.6K | |
| dl.pdf | 2024-01-18 13:56 | 743K | |
| fopl_fragments.pdf | 2023-10-17 16:11 | 276K | |
| foundations-ml.pdf | 2023-10-18 17:11 | 8.9M | |
| many_valued.text | 2024-01-18 14:08 | 2.9K | |
| owl.pdf | 2024-01-11 16:18 | 722K | |
| space_2d.pdf | 2024-01-18 14:02 | 633K | |