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

Adil El Ghali | Laurent Roussarie |

Paper Details:

Month: June
Year: 2003
Location: Batz-sur-Mer, France
Venue: JEP/TALN/RECITAL |

Citations

URL

No Citations Yet

No URLs Found

Field Of Study