Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

1 Résultat
authFullName_s : Florent Kirchner
Image document

Systèmes de preuve interopérables.

Florent Kirchner
Informatique [cs]. Ecole Polytechnique X, 2007. Français. ⟨NNT : ⟩
Theses pastel-00003192v1