International Workshop on Theorem proving components for Educational Software (7. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford Homepage (1) GND thedu18