Intuitive Reasoning in Formalized Mathematics with ELFE

Dore, Maximilian (Corresponding author); Broda, Krysia

(2018)
Contribution to a book, Contribution to a conference proceedings

In: Computer Supported Education
Page(s)/Article-Nr.: 549-571

Identifier