-
1Livre
-
2Livre
-
3par Denton Michael
Flammarion impr. 1992Livre -
4Presses universitaires de France 1989Livre
-
5par Symposium on automatic demonstration
Springer-Verlag 1970, cop. 1970Livre