L'ordinateur : un outil au service du logicien
Les cahiers de l'analyse des données, Tome 15 (1990) no. 3, pp. 323-330
Cet article a éte moissonné depuis la source Numdam
@article{CAD_1990__15_3_323_0,
author = {Gillet, \'E.},
title = {L'ordinateur : un outil au service du logicien},
journal = {Les cahiers de l'analyse des donn\'ees},
pages = {323--330},
year = {1990},
publisher = {Dunod-Gauthier-Villars},
address = {Paris},
volume = {15},
number = {3},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/CAD_1990__15_3_323_0/}
}
Gillet, É. L'ordinateur : un outil au service du logicien. Les cahiers de l'analyse des données, Tome 15 (1990) no. 3, pp. 323-330. http://geodesic.mathdoc.fr/item/CAD_1990__15_3_323_0/