-
1par Nolin Louis
CNRS, Institut Blaise Pascal; Labo. de calcul numérique 1963Livre -
2par Nolin Louis
Masson 1988, cop. 1988Livre -
3par Nolin Louis
Masson 1988Livre -
4Livre
-
5par Symposium on automatic demonstration
Springer-Verlag 1970, cop. 1970Livre