Workshop on Proof eXchange for Theorem Proving (6. : 2019 : Natal, Rio Grande do Norte) Bezüge im Wissensnetz Veranstaltungsort (1) GND Natal (Bundesstaat Rio Grande do Norte) In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1194944248 Homepage (1) GND 2019