@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/}
}