Intuitive Reasoning in Formalized Mathematics with ELFE

Dore, Maximilian (Corresponding author); Broda, Krysia

(2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Computer Supported Education
Band: 1022
Seite(n): 549-571