Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 231 von 94582
|
|
| Link zu diesem Datensatz | https://d-nb.info/gnd/1339543672 |
| Veranstaltung | International Symposium on AI Verification (7. : 2024 : Montréal) |
| Andere Namen |
International Symposium on AI Verification (1. : 2024 : Montréal) SAIV (7. : 2024 : Montréal) |
| Quelle | Homepage (Stand: 23.08.2024): https://www.aiverification.org/ |
| Zeit | 22.07.2024-23.07.2024 |
| Land | Kanada (XD-CA) |
| Geografischer Bezug | Veranstaltungsort: Montréal |
| Weitere Angaben | In den Proceedings des Springer Verlags wird die Konferenz irrtümlich als "1st" bezeichnet |
| Typ | Veranstaltung (vie) |
Treffer 231 von 94582
Administration
