CADE (13 : 1996 : New Brunswick, NJ, International Conference on Automated Deduction) Bezüge im Wissensnetz Veranstaltungsort (1) GND New Brunswick, NJ