From post

Automatic analysis of proof in a computer-based environment

, и . Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, стр. 226 --231. (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Automatic analysis of proof in a computer-based environment, и . Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, стр. 226 --231. (2009)Ressources numériques pour l'éducation mathématique. Conception, évaluation, qualité et appropriation. (Digital resources for mathematics education. Design, evaluation, quality and appropriation).. (2020)Role-Playing Game for the Osteopathic Diagnosis., , , и . EC-TEL, том 6964 из Lecture Notes in Computer Science, стр. 495-500. Springer, (2011)Student's Algebraic Knowledge Modelling: Algebraic Context as Cause of Student's Actions., , и . Statistical Implicative Analysis, том 127 из Studies in Computational Intelligence, Springer, (2008)An Analysis of Interactive Learning Environments for Arithmetic and Algebra Through an Integrative Perspective., , и . Int. J. Comput. Math. Learn., 14 (3): 299-331 (2009)