Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, informatique, logique ◊ système formel qui permet de faire du raisonnement déductif avec des probabilités