arithmétique de Presburger
concept théorie du premier ordre des nombres entiers naturels munis de l'addition
Nature : système axiomatique
Catégories : théories scientifiques · sciences · concepts abstraits
Mots du lexique : arithmétique nom commun
concept théorie du premier ordre des nombres entiers naturels munis de l'addition
Nature : système axiomatique
Catégories : théories scientifiques · sciences · concepts abstraits
Mots du lexique : arithmétique nom commun