Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/gnd/1323182314 |
Veranstaltung | AReCCa (1. : 2023 : Prag) |
Andere Namen |
Automated Reasoning with Connection Calculi (Veranstaltung (1. : 2023 : Prag) International Workshop on Automated Reasoning with Connection Calculi (1. : 2023 : Prag) |
Quelle | Homepage (Stand: 12.03.2024): http://leancop.de/AReCCa-2023/ |
Zeit | 18.09.2023 |
Land | Tschechische Republik (XA-CZ) |
Geografischer Bezug | Veranstaltungsort: Prag |
Bezug zu Veranstaltungen | Administrativ übergeordnet: TABLEAUX (32. : 2023 : Prag) |
Typ | Veranstaltung (vie) |
