Structuration automatique de preuves mathématiques : de la logique à la rhétorique Adil El Ghali author Laurent Roussarie author 2003-06 text fra Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Posters Béatrice Daille editor Emmanuel Morin editor ATALA Batz-sur-Mer, France conference publication el-ghali-roussarie-2003-structuration https://aclanthology.org/2003.jeptalnrecital-poster.7/ 2003-06 333 338