Merkliste 
 1 Ergebnisse 
 
1

Impact of proof validation on proof writing in abstract alg..:

Powers, Robert A. ; Craviotto, Cathleen ; Grassl, Richard M.
International Journal of Mathematical Education in Science and Technology.  41 (2010)  4 - p. 501-514 , 2010