Intuitive Reasoning in Formalized Mathematics with ELFE
Doré, Maximilian (Corresponding author); Broda, Krysia
(2018)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Computer Supported Education
Seite(n)/Artikel-Nr.: 549-571
Identifikationsnummern
- DOI: 10.1007/978-3-030-21151-6_26
- RWTH PUBLICATIONS: RWTH-2020-10672