International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (1. : 2017 : Göteborg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Göteborg Homepage (1) GND arcade