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

Filter your results

1 Résultat
Author: personID (integer) : 915594
Image document

Generic Proof Tools and Finite Group Theory

François Garillot
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00649586v1