CADE (International Conference on Automated Deduction : 24 : 2013 : Lake Placid, NY) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lake Placid, NY