International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (2. : 2019 : Natal) Bezüge im Wissensnetz In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1194944248 Homepage (1) GND arcade