Voir la notice de l'acte provenant de la source Numdam
@article{PSMIR_1998___S4_153_0, author = {Py, Dominique}, title = {Le logiciel {Mentoniezh}}, journal = {Publications de l'Institut de recherche math\'ematiques de Rennes}, pages = {153--155}, publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes}, number = {S4}, year = {1998}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_153_0/} }
TY - JOUR AU - Py, Dominique TI - Le logiciel Mentoniezh JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1998 SP - 153 EP - 155 IS - S4 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_153_0/ LA - fr ID - PSMIR_1998___S4_153_0 ER -
%0 Journal Article %A Py, Dominique %T Le logiciel Mentoniezh %J Publications de l'Institut de recherche mathématiques de Rennes %D 1998 %P 153-155 %N S4 %I Département de Mathématiques et Informatique, Université de Rennes %U http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_153_0/ %G fr %F PSMIR_1998___S4_153_0
Py, Dominique. Le logiciel Mentoniezh. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 153-155. http://geodesic.mathdoc.fr/item/PSMIR_1998___S4_153_0/