Accueil || Parcours || Recherche || S'enregistrer || Mon Compte || Contacts || Aide || Langues
Kirchner, Florent (2007) Systèmes de preuve interopérables. Doctorat LIX, LIX, EP/X p.0.
plein texte indisponible sur cette archive. |
|
Autres Localisations: http://www.imprimerie.polytechnique.fr/Theses/Files/Kirchner.pdf
| Type d'EPrint: | Thèse (Doctorat) |
|---|---|
| Directeur de Thèse: | Dowek, Gilles |
| Date: | 26 Juin 2007 |
| Ecole Doctorale: | ED 447 ECOLE DOCTORALE DE L'ECOLE POLYTECHNIQUE |
| Discipline: | LIX |
| Fonds: | EP/X |
| Institution: | EP/X |
| Laboratoire: | LIX |
| Sujets: | 2. Sciences et technologies de l'information et de la communication |
| Code ID: | 3192 |
| Déposé par : | Laurence Vidament |
| Déposé le : | 13 Décembre 2007 |
Administrateurs de l'archive uniquement : éditer cet enregistrement