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