SUBSUMPTION (LOGIQUE MATHÉMATIQUE)
-
BTDÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
-
UDC510.662,51
-
Descriptor GERSUBSUMTION (MATHEMATISCHE LOGIK)
-
Descriptor ENGSUBSUMPTION (MATHEMATICAL LOGIC)
-
Descriptor FRESUBSUMPTION (LOGIQUE MATHÉMATIQUE)
-
RTREDONDANCE (LINGUISTIQUE MATHÉMATIQUE)