Neue Dateien
Aus International Center for Computational Logic
Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.
-
TheoLog2026-Vorlesung-08-overlay.pdf Markus Krötzsch
14:23, 11. Mai 2026
943 × 589, 46 Seiten; 317 KB
-
TheoLog2026-Vorlesung-07-overlay.pdf Markus Krötzsch
09:20, 7. Mai 2026
943 × 589, 61 Seiten; 189 KB
-
TheoLog2026-Vorlesung-06-overlay.pdf Markus Krötzsch
09:10, 4. Mai 2026
943 × 589, 72 Seiten; 369 KB
-
TheoLog2026-Vorlesung-05-print.pdf Markus Krötzsch
16:33, 30. Apr. 2026
943 × 589, 27 Seiten; 122 KB
-
TheoLog2026-Vorlesung-05-overlay.pdf Markus Krötzsch
16:33, 30. Apr. 2026
943 × 589, 70 Seiten; 195 KB
-
ER-Rudolph-Lecture02-SS26.pdf Sebastian Rudolph
11:41, 27. Apr. 2026
1.500 × 1.125, 47 Seiten; 630 KB
-
ESWC-2026-Submission-368-Camera-Ready.pdf Lukas Gerlach
09:54, 27. Apr. 2026
1.275 × 1.650, 5 Seiten; 373 KB
-
Rudolph-Sauerwald-FOIKS2026.pdf Sebastian Rudolph
13:06, 26. Apr. 2026
1.275 × 1.650, 13 Seiten; 458 KB
-
KR-2026-Camera-Ready-178-Chase-In-Lean.pdf Lukas Gerlach
12:56, 24. Apr. 2026
1.275 × 1.650, 11 Seiten; 258 KB
-
TheoLog2026-Vorlesung-04-print.pdf Markus Krötzsch
13:06, 23. Apr. 2026
943 × 589, 26 Seiten; 119 KB
-
TheoLog2026-Vorlesung-04-overlay.pdf Markus Krötzsch
13:06, 23. Apr. 2026
943 × 589, 48 Seiten; 155 KB
-
TheoLog2026-Vorlesung-03-print.pdf Markus Krötzsch
13:57, 20. Apr. 2026
943 × 589, 21 Seiten; 135 KB
-
TheoLog2026-Vorlesung-03-overlay.pdf Markus Krötzsch
13:56, 20. Apr. 2026
943 × 589, 54 Seiten; 193 KB
-
TheoLog2026-Vorlesung-02-print.pdf Markus Krötzsch
19:41, 15. Apr. 2026
943 × 589, 30 Seiten; 159 KB
-
TheoLog2026-Vorlesung-02-overlay.pdf Markus Krötzsch
19:41, 15. Apr. 2026
943 × 589, 49 Seiten; 192 KB
-
TheoLog2026-Vorlesung-01-print.pdf Markus Krötzsch
12:03, 13. Apr. 2026
943 × 589, 30 Seiten; 109 KB
-
TheoLog2026-Vorlesung-01-overlay.pdf Markus Krötzsch
12:02, 13. Apr. 2026
943 × 589, 43 Seiten; 127 KB
-
ER-Rudolph-Lecture01-SS26.pdf Sebastian Rudolph
11:09, 12. Apr. 2026
1.500 × 1.125, 39 Seiten; 568 KB
-
Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf Markus Krötzsch
07:42, 6. Mär. 2026
1.275 × 1.650, 21 Seiten; 1,66 MB
-
Paper journal approx reasoning v4.pdf Sergei Obiedkov
10:08, 24. Feb. 2026
1.275 × 1.650, 33 Seiten; 475 KB