International Conference on Automated Deduction (9 : 1988 : Argonne, Ill.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Argonne, Ill.