Adil El Ghali, Laurent Roussarie. Structuration automatique de preuves mathématiques : de la logique à la rhétorique. In Béatrice Daille, Emmanuel Morin, editors, Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, TALN 2003, Batz-sur-Mer, France, June 2003. pages 333-338, ATALA, 2003. [doi]
Abstract is missing.