UNIFICATION (LOGIQUE MATHÉMATIQUE)
-
BTPROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
UDC510.66*2
-
Descriptor GERUNIFIKATION (MATHEMATISCHE LOGIK)
-
Descriptor ENGUNIFICATION (MATHEMATICAL LOGIC)
-
Descriptor FREUNIFICATION (LOGIQUE MATHÉMATIQUE)
-
Variant GERUNIFIKATIONSTHEORIE (MATHEMATISCHE LOGIK)