International Conference on Automated Deduction (8 : 1986 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford