Dateiliste

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Diese Spezialseite listet alle hochgeladenen Dateien auf.

Dateiliste
 
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite
Datum Name Vorschaubild Größe Beschreibung Versionen
10:32, 27. Mai 2020 Lecture-12-datalog-introduction-video.mkv (Datei) 229,51 MB   1
10:22, 27. Mai 2020 Lecture-12-datalog-introduction.pdf (Datei) 137 KB   1
10:22, 27. Mai 2020 Lecture-12-datalog-introduction-4.pdf (Datei) 174 KB   1
12:40, 26. Mai 2020 Lecture-14-datalog-implementation-video.mkv (Datei) 150,22 MB   1
12:37, 26. Mai 2020 Lecture-14-datalog-implementation.pdf (Datei) 97 KB   1
12:36, 26. Mai 2020 Lecture-14-datalog-implementation-4.pdf (Datei) 128 KB   1
10:44, 26. Mai 2020 Lecture-13-datalog-expressivity.pdf (Datei) 174 KB   1
10:44, 26. Mai 2020 Lecture-13-datalog-expressivity-4.pdf (Datei) 210 KB   1
18:09, 25. Mai 2020 Lecture-11-fo-expressivity-video.mkv (Datei) 265,94 MB   1
17:46, 25. Mai 2020 Lecture-11-fo-expressivity.pdf (Datei) 198 KB   1
17:45, 25. Mai 2020 Lecture-11-fo-expressivity-4.pdf (Datei) 250 KB   1
14:56, 14. Mai 2020 300px-Stephan mennicke.jpg (Datei) 27 KB   1
11:43, 12. Mai 2020 Carral-Kroetzsch-ALCHIQ-rule-rewritings-IJCAI-2020-TR-2.pdf (Datei) 362 KB   1
08:56, 8. Mai 2020 Lecture-10-cq-optimisation-video.mkv (Datei) 167,74 MB   1
08:53, 8. Mai 2020 Lecture-10-cq-optimisation-compressed.pdf (Datei) 133 KB   1
08:53, 8. Mai 2020 Lecture-10-cq-optimisation.pdf (Datei) 106 KB   1
17:32, 6. Mai 2020 Lecture-09-query-optimisation-video.mkv (Datei) 167,39 MB   1
17:26, 6. Mai 2020 Lecture-09-query-optimisation-4.pdf (Datei) 158 KB   1
17:25, 6. Mai 2020 Lecture-09-query-optimisation.pdf (Datei) 125 KB   1
18:52, 5. Mai 2020 Lecture-08-hypertreewidth-video.mkv (Datei) 145,32 MB   1
18:48, 5. Mai 2020 Lecture-08-hypertreewidth-handout-4.pdf (Datei) 140 KB   1
18:48, 5. Mai 2020 Lecture-08-hypertreewidth-handout.pdf (Datei) 116 KB   1
17:43, 28. Apr. 2020 Lecture-07-treelike-cqs-video.mkv (Datei) 155,11 MB   1
17:39, 28. Apr. 2020 Lecture-07-treelike-cqs.pdf (Datei) 3,67 MB   1
17:39, 28. Apr. 2020 Lecture-07-treelike-cqs-compressed.pdf (Datei) 3,74 MB   1
14:59, 27. Apr. 2020 Lecture-06-conjunctive-queries.mkv (Datei) 187,14 MB   1
14:53, 27. Apr. 2020 Lecture-06-conjunctive-queries.pdf (Datei) 185 KB   1
14:52, 27. Apr. 2020 Lecture-06-conjunctive-queries-compressed.pdf (Datei) 224 KB   1
16:28, 21. Apr. 2020 Lecture-05-fo-complexity-compressed.pdf (Datei) 175 KB   1
16:26, 21. Apr. 2020 Lecture-05-fo-data-complexity.pdf (Datei) 134 KB   1
16:21, 21. Apr. 2020 Lecture-05-fo-complexity-part-2.mkv (Datei) 126,07 MB   1
10:57, 21. Apr. 2020 Lecture-05-fo-complexity-part-1.mkv (Datei) 111,69 MB   1
10:54, 21. Apr. 2020 Lecture-04-fo-complexity.pdf (Datei) 89 KB   1
10:54, 21. Apr. 2020 Lecture-04-fo-complexity-4.pdf (Datei) 111 KB   1
17:17, 14. Apr. 2020 Lecture-04-query-complexity-video.mkv (Datei) 231,08 MB   1
17:05, 14. Apr. 2020 Lecture-04-query-complexity-2020.pdf (Datei) 2,52 MB   1
17:05, 14. Apr. 2020 Lecture-04-query-complexity-2020-compressed.pdf (Datei) 4,54 MB   1
20:07, 13. Apr. 2020 Lecture-03-fo-queries-part-2-video.mkv (Datei) 97,36 MB   1
16:06, 13. Apr. 2020 WhatsApp Image 2020-04-13 at 15.07.51.jpeg (Datei) 37 KB   1
18:19, 10. Apr. 2020 Lecture-02-first-order-queries-part-1-video-second-attemp.mkv (Datei) 153,6 MB   1
17:10, 8. Apr. 2020 Lecture-02-fo-queries-2020-compressed.pdf (Datei) 199 KB   1
17:10, 8. Apr. 2020 Lecture-02-fo-queries-2020.pdf (Datei) 159 KB   1
18:53, 7. Apr. 2020 Lecture-01-introduction-relational-calculus-video.mkv (Datei) 218,3 MB   1
10:50, 31. Mär. 2020 Lecture-01-introduction-relational-calculus.pdf (Datei) 132 KB   1
10:50, 31. Mär. 2020 Lecture-01-introduction-relational-calculus-4.pdf (Datei) 162 KB   1
20:38, 5. Feb. 2020 CT-WS2019-exercise-11-slides-2.pdf (Datei) 194 KB   1
20:38, 5. Feb. 2020 CT-WS2019-exercise-11-2.pdf (Datei) 237 KB   1
18:32, 23. Jan. 2020 CT-WS2019-exercise-10-2.pdf (Datei) 293 KB   1
18:31, 23. Jan. 2020 CT-WS2019-exercise-10-slides.pdf (Datei) 172 KB   1
17:21, 15. Jan. 2020 CT-WS2019-exercise-09-slides.pdf (Datei) 463 KB   1
Erste SeiteVorherige SeiteNächste SeiteLetzte Seite