@article{PSMIR_1998___S4_147_0,
author = {Simon, Andr\'e},
title = {Premiers {Pas} : un outil d'apprentissage et de r\'ev\'elation d'erreurs},
journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
pages = {147--151},
publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
number = {S4},
year = {1998},
language = {fr},
url = {http://archive.numdam.org/item/PSMIR_1998___S4_147_0/}
}
TY - JOUR
AU - Simon, André
TI - Premiers Pas : un outil d'apprentissage et de révélation d'erreurs
JO - Publications de l'Institut de recherche mathématiques de Rennes
PY - 1998
SP - 147
EP - 151
IS - S4
PB - Département de Mathématiques et Informatique, Université de Rennes
UR - http://archive.numdam.org/item/PSMIR_1998___S4_147_0/
LA - fr
ID - PSMIR_1998___S4_147_0
ER -
%0 Journal Article
%A Simon, André
%T Premiers Pas : un outil d'apprentissage et de révélation d'erreurs
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 147-151
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://archive.numdam.org/item/PSMIR_1998___S4_147_0/
%G fr
%F PSMIR_1998___S4_147_0
Simon, André. Premiers Pas : un outil d'apprentissage et de révélation d'erreurs. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 147-151. http://archive.numdam.org/item/PSMIR_1998___S4_147_0/