VALIDABILITÉ (MATHÉMATIQUES)
-
BTCOMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
-
UDC510.52,2
-
Descriptor GERERFÜLLBARKEIT (MATHEMATIK)
-
Descriptor ENGSATISFIABILITY (MATHEMATICS)
-
Descriptor FREVALIDABILITÉ (MATHÉMATIQUES)
-
Variant GERSATISFIABILITY (MATHEMATIK)