Änderungen an verlinkten Seiten
Aus International Center for Computational Logic
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
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
24. April 2024
| N 14:39 | Inproceedings3379 UnterschiedVersionen +1.486 Bytes Tim Lyon Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“) | ||||
19. April 2024
| 10:37 | Inproceedings3315 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) | ||||
| 10:36 | Inproceedings3316 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) | ||||
18. April 2024
| 14:55 | Inproceedings3377 UnterschiedVersionen +126 Bytes Filippo De Bortoli Diskussion Beiträge (→SAC '24: adds PDF file.) | ||||
