FORCING (LOGIQUE MATHÉMATIQUE)
-
BTPROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
UDC510.66*6
-
Descriptor GERFORCING (MATHEMATISCHE LOGIK)
-
Descriptor ENGFORCING (MATHEMATICAL LOGIC)
-
Descriptor FREFORCING (LOGIQUE MATHÉMATIQUE)
-
Variant GERFORCINGMETHODE (MATHEMATISCHE LOGIK)
-
Variant ENGFORCING METHOD (MATHEMATICAL LOGIC)
-
Variant FREMÉTHODE FORCÉE (LOGIQUE MATHÉMATIQUE)