Communication Dans Un Congrès
Année : 2014
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01110338
Soumis le : mardi 27 janvier 2015-22:41:24
Dernière modification le : vendredi 26 avril 2024-13:54:07
Dates et versions
Identifiants
- HAL Id : hal-01110338 , version 1
Citer
Marc Bagnol, Amina Doumane, Alexis Saurin. Analyse de dépendances et correction des réseaux de preuve. JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. ⟨hal-01110338⟩
143
Consultations
0
Téléchargements