International Workshop on Mathematics Mechanization (1 : 1992 : Peking) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 16033868-2 Veranstaltungsort (1) GND Peking Nachfolgende Konferenz oder Veranstaltung (1) GND 16033868-2