bn:01701491n
Noun Concept
Categories: Arithmétique, Logique mathématique, Théorie des nombres
FR
arithmétique de Presburger  Arithmetique de Presburger
FR
En logique mathématique, l'arithmétique de Presburger est la théorie du premier ordre des nombres entiers naturels munis de l'addition. Wikipedia
Definitions
Sources
FR
En logique mathématique, l'arithmétique de Presburger est la théorie du premier ordre des nombres entiers naturels munis de l'addition. Wikipedia