International Workshop on Theorem Proving Components for Educational Software (8. : 2019 : Natal) Bezüge im Wissensnetz In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1194944248 Homepage (1) GND thedu