International Workshop on Automated Reasoning in Quantified Non-Classical Logics (4. : 2022 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa Homepage (1) GND ARQNL-2022 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1265203350