CADE (11 : 1992 : Saratoga Springs, NY, International Conference on Automated Deduction) Bezüge im Wissensnetz Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 2112021-3 Vorherige Konferenz oder Veranstaltung (1) GND 2112021-3 Veranstaltungsort (1) GND Saratoga Springs, NY