International Conference on Automated Deduction (10 : 1990 : Kaiserslautern) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 2122845-0 Veranstaltungsort (1) GND Kaiserslautern Nachfolgende Konferenz oder Veranstaltung (1) GND 2122845-0