Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
5. Februar 2026
| 05:27 | Formale Systeme (WS2025) UnterschiedVersionen +37 Stephan Mennicke Diskussion Beiträge (2nd repetitorium) | ||||
| 05:26 | Datei-Logbuch Stephan Mennicke Diskussion Beiträge lud Datei:FS2025-Repetitorium-02.pdf hoch | ||||
3. Februar 2026
| 14:10 | Complexity Theory (WS2025) UnterschiedVersionen +69 Sergei Obiedkov Diskussion Beiträge | ||||
|
|
14:10 | (Datei-Logbuch) [Sergei Obiedkov (2×)] | |||
|
|
14:10 Sergei Obiedkov Diskussion Beiträge lud Datei:CT2025-Lecture-29-print.pdf hoch | ||||
|
|
14:10 Sergei Obiedkov Diskussion Beiträge lud Datei:CT2025-Lecture-29-overlay.pdf hoch | ||||
2. Februar 2026
| 12:24 | Formale Systeme (WS2025) UnterschiedVersionen +314 Stephan Mennicke Diskussion Beiträge (Lernräume) | ||||
| 10:31 | Inproceedings3450 UnterschiedVersionen +140 Piotr Gorczyca Diskussion Beiträge | ||||
| 09:39 | Datei-Logbuch Piotr Gorczyca Diskussion Beiträge lud Datei:Gorczyca-strass-aaai-2026.pdf hoch | ||||
1. Februar 2026
| 02:25 | Knowledge Graphs (WS2025) UnterschiedVersionen +48 Maximilian Marx Diskussion Beiträge | ||||
| 02:25 | Datei-Logbuch Maximilian Marx Diskussion Beiträge lud Datei:Kg2025-exercise-12.pdf hoch | ||||
