Kirchner, Florent (2007) Interoperable proof systems. PhD thesis LIX, LIX, EP/X p.0.
Full text not available from this repository. |
|
Alternative Locations: http://www.imprimerie.polytechnique.fr/Theses/Files/Kirchner.pdf
| Item Type: | PhD Thesis (PhD) |
|---|---|
| Thesis Supervisor: | Dowek, Gilles |
| Date: | 26 June 2007 |
| Ecole Doctorale: | ED 447 ECOLE DOCTORALE DE L'ECOLE POLYTECHNIQUE |
| Discipline: | LIX |
| Collection (Fonds): | EP/X |
| Institution: | EP/X |
| Department: | LIX |
| Subjects: | 2. Information and Communication Sciences and Technologies |
| ID Code: | 3192 |
|---|---|
| Deposited By: | Laurence Vidament |
| Deposited On: | 13 December 2007 |
Repository Staff Only: edit this item