Workshop on Practical Aspects of Automated Reasoning (8. : 2022 : Haifa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Haifa Homepage (1) GND paar2022.github.io