Ce manuscrit de thèse présente les travaux menés sur le système de modules de l'assistant de Preuve Coq.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00679201 |
| Date | 27 September 2010 |
| Creators | Soubiran, Elie |
| Publisher | Ecole Polytechnique X |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0017 seconds