UNIFIKATION (MATHEMATISCHE LOGIK)
-
BTENTSCHEIDUNGSPROBLEME UND LOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
UDC510.66*2
-
Descriptor GERUNIFIKATION (MATHEMATISCHE LOGIK)
-
Descriptor ENGUNIFICATION (MATHEMATICAL LOGIC)
-
Descriptor FREUNIFICATION (LOGIQUE MATHÉMATIQUE)
-
Variant GERUNIFIKATIONSTHEORIE (MATHEMATISCHE LOGIK)