Workshop on Practical Aspects of Automated Reasoning (3. : 2012 : Manchester) Bezüge im Wissensnetz Veranstaltungsort (1) GND Manchester Homepage (1) GND PAAR-2012.html