Workshop on Practical Aspects of Automated Reasoning (9. : 2024 : Nancy) Bezüge im Wissensnetz Veranstaltungsort (1) GND Nancy Homepage (1) GND paar2024.github.io Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1338995022