Title: Calculatrices digitales du déchiffrage de formules logico-mathématiques par la machine même dans la conception du programme