@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}, publisher = {Dunod-Gauthier-Villars}, address = {Paris}, volume = {15}, number = {3}, year = {1990}, language = {fr}, url = {http://www.numdam.org/item/CAD_1990__15_3_323_0/} }