SUBSUMTION (MATHEMATISCHE LOGIK)
-
BTAUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
-
UDC510.662,51
-
Descriptor GERSUBSUMTION (MATHEMATISCHE LOGIK)
-
Descriptor ENGSUBSUMPTION (MATHEMATICAL LOGIC)
-
Descriptor FRESUBSUMPTION (LOGIQUE MATHÉMATIQUE)
-
RTREDUNDANZ (MATHEMATISCHE LINGUISTIK)