MENON : automating a Socratic teaching model for mathematical proofs [article]

Dimitra Tsovaltzi, Universität Des Saarlandes, Universität Des Saarlandes
2010
doi:10.22028/d291-25971 fatcat:qnnx7x2zc5a7hfiknerbcpyzcq