Benutzerbeiträge von „Markus Krötzsch“

Aus International Center for Computational Logic

Ergebnisse für Markus Krötzsch Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher

Ein Benutzer mit 6.752 Bearbeitungen. Das Konto wurde am 19. September 2014 erstellt.

Wechseln zu:Navigation, Suche

Suche nach BenutzerbeiträgenAusklappenEinklappen

⧼contribs-top⧽

IP-Adresse oder Benutzername:

Namensraum:

Auswahl umkehren

Zugehöriger Namensraum

Markierungs-Filter:

Auswahl umkehren

Nur aktuelle Versionen zeigen

Nur Seitenerstellungen anzeigen

Kleine Änderungen ausblenden

⧼contribs-date⧽

Von Datum:

Bis Datum:

14:2414:24, 11. Mai 2026 Unterschied Versionen +86 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
14:2414:24, 11. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-08-print.pdf Keine Bearbeitungszusammenfassung aktuell
14:2314:23, 11. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-08-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
12:2012:20, 11. Mai 2026 Unterschied Versionen +60 Inproceedings3461 Keine Bearbeitungszusammenfassung aktuell

09:2309:23, 7. Mai 2026 Unterschied Versionen +552 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
09:2009:20, 7. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-07-print.pdf Keine Bearbeitungszusammenfassung aktuell
09:2009:20, 7. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-07-overlay.pdf Keine Bearbeitungszusammenfassung aktuell

09:1009:10, 4. Mai 2026 Unterschied Versionen +83 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
09:1009:10, 4. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-06-print.pdf Keine Bearbeitungszusammenfassung aktuell
09:1009:10, 4. Mai 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-06-overlay.pdf Keine Bearbeitungszusammenfassung aktuell

16:3316:33, 30. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-05-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-05-print.pdf hoch aktuell
16:3316:33, 30. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-05-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-05-overlay.pdf hoch aktuell

09:5109:51, 29. Apr. 2026 Unterschied Versionen +411 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
09:4909:49, 29. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-05-print.pdf Keine Bearbeitungszusammenfassung
09:4909:49, 29. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-05-overlay.pdf Keine Bearbeitungszusammenfassung

13:0613:06, 23. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-04-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-04-print.pdf hoch aktuell
13:0613:06, 23. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-04-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-04-overlay.pdf hoch aktuell
13:0613:06, 23. Apr. 2026 Unterschied Versionen +4 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
11:0211:02, 23. Apr. 2026 Unterschied Versionen +99 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
11:0211:02, 23. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-04-print.pdf Keine Bearbeitungszusammenfassung
11:0211:02, 23. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-04-overlay.pdf Keine Bearbeitungszusammenfassung

11:3611:36, 22. Apr. 2026 Unterschied Versionen +25 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
11:3211:32, 22. Apr. 2026 Unterschied Versionen −10 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
11:2511:25, 22. Apr. 2026 Unterschied Versionen +528 Formale Systeme (WS2025) +link zu WHILE/LOOP

13:5713:57, 20. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-03-print.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-03-print.pdf hoch aktuell
13:5613:56, 20. Apr. 2026 Unterschied Versionen 0 Datei:TheoLog2026-Vorlesung-03-overlay.pdf Markus Krötzsch lud eine neue Version von Datei:TheoLog2026-Vorlesung-03-overlay.pdf hoch aktuell
08:3808:38, 20. Apr. 2026 Unterschied Versionen 0 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
08:3708:37, 20. Apr. 2026 Unterschied Versionen +349 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
08:3308:33, 20. Apr. 2026 Unterschied Versionen +225 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
08:3308:33, 20. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-03-print.pdf Keine Bearbeitungszusammenfassung
08:3308:33, 20. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-03-overlay.pdf Keine Bearbeitungszusammenfassung

18:2118:21, 16. Apr. 2026 Unterschied Versionen +392 Vorlage:Publication Report Keine Bearbeitungszusammenfassung aktuell
16:1916:19, 16. Apr. 2026 Unterschied Versionen +186 N Benutzer:Markus Krötzsch/KBS publication report/SCaDS Die Seite wurde neu angelegt: „This page shows publications associated with KBS for internal reporting purposes. {{Publication Report| Forschungsgruppe::Wissensbasierte Systeme Projekt::ScaDS.AI }}“ aktuell
16:1716:17, 16. Apr. 2026 Unterschied Versionen +57 Benutzer:Markus Krötzsch →Links aktuell

19:4119:41, 15. Apr. 2026 Unterschied Versionen +91 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
19:4119:41, 15. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-02-print.pdf Keine Bearbeitungszusammenfassung aktuell
19:4119:41, 15. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-02-overlay.pdf Keine Bearbeitungszusammenfassung aktuell
19:3819:38, 15. Apr. 2026 Unterschied Versionen +59 N TheoLog2026/en Weiterleitung nach Theoretische Informatik und Logik (SS2026)/en erstellt aktuell Markierung: Neue Weiterleitung
19:3819:38, 15. Apr. 2026 Unterschied Versionen +56 N TheoLog2026 Weiterleitung nach Theoretische Informatik und Logik (SS2026) erstellt aktuell Markierung: Neue Weiterleitung

12:0412:04, 13. Apr. 2026 Unterschied Versionen +255 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung
12:0312:03, 13. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-01-print.pdf Keine Bearbeitungszusammenfassung aktuell
12:0212:02, 13. Apr. 2026 Unterschied Versionen 0 N Datei:TheoLog2026-Vorlesung-01-overlay.pdf Keine Bearbeitungszusammenfassung aktuell

09:0809:08, 12. Apr. 2026 Unterschied Versionen +210 Theoretische Informatik und Logik (SS2026) Keine Bearbeitungszusammenfassung

14:0214:02, 23. Mär. 2026 Unterschied Versionen −2 Projekte und Studienarbeiten Wissensbasierte Systeme Keine Bearbeitungszusammenfassung

13:0913:09, 18. Mär. 2026 Unterschied Versionen 0 Inproceedings3454 Keine Bearbeitungszusammenfassung aktuell

07:4207:42, 6. Mär. 2026 Unterschied Versionen 0 Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf Markus Krötzsch lud eine neue Version von Datei:Ivliev-Kroetzsch-Marx Optimising-SPARQL-for-Datalog eswc2026.pdf hoch aktuell
07:1207:12, 6. Mär. 2026 Unterschied Versionen +8 Cfaed Keine Bearbeitungszusammenfassung aktuell
07:1107:11, 6. Mär. 2026 Unterschied Versionen +8 KIMEDS Keine Bearbeitungszusammenfassung aktuell
07:1007:10, 6. Mär. 2026 Unterschied Versionen +8 InnoSale Keine Bearbeitungszusammenfassung aktuell
07:0707:07, 6. Mär. 2026 Unterschied Versionen +106 Inproceedings3461 Keine Bearbeitungszusammenfassung

Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Beiträge/Markus_Krötzsch“