Workshop on Practical Aspects of Automated Reasoning (2. : 2010 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh Homepage (1) GND paar-2010.html