Automatic analysis of proof in a computer-based environment - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Automatic analysis of proof in a computer-based environment

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00948780 , version 1 (18-02-2014)

Identifiants

  • HAL Id : hal-00948780 , version 1

Citer

Jana Trgalova, Hamid Chaachoua. Automatic analysis of proof in a computer-based environment. ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, 2009, Taipei, Taiwan. (6 p.). ⟨hal-00948780⟩
125 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More