Intuitive Reasoning in Formalized Mathematics with ELFE

Dore, Maximilian (Corresponding author); Broda, Krysia

(2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Supported Education
Band: 1022
Seite(n)/Artikel-Nr.: 549-571