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

Filter your results

1 Résultat
authIdHal_s : cyril-cohen
Image document

Formalized algebraic numbers: construction and first-order theory.

Cyril Cohen
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00780446v1