Satisfiability Checking and Symbolic Computation Workshop (9. : 2024 : Nancy) Bezüge im Wissensnetz Veranstaltungsort (1) GND Nancy Homepage (1) GND workshop9.html Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1338995022