Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Generic Proof Tools and Finite Group TheoryLogic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses
pastel-00649586v1
|
||
|
Formalized algebraic numbers: construction and first-order theory.Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses
pastel-00780446v1
|