Workshop on Automated Theory eXploration (2012 : Manchester) Bezüge im Wissensnetz Veranstaltungsort (1) GND Manchester Homepage (1) GND atx2012 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1023665107