International Joint Conference on Automated Reasoning (12. : 2024 : Nancy) Bezüge im Wissensnetz Als Administrative Überordnung der Konferenz oder der Veranstaltung beteiligt (3) GND 1340951606 1340952157 1358568391 Veranstaltungsort (1) GND Nancy