Structuration automatique de preuves mathématiques : de la logique à la rhétorique.

Adil El Ghali Laurent Roussarie

Published in: TALN (Posters) (2003)

Keyphrases

tutoring system
mathematical problem solving
database
data mining
optimal solution
multi agent systems
mobile devices
image analysis