THÉORÈME DE HERBRAND (LOGIQUE MATHÉMATIQUE)
-
BTPROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
UDC510.665,1
-
Descriptor GERHERBRANDSCHER SATZ (MATHEMATISCHE LOGIK)
-
Descriptor ENGHERBRAND THEOREM (MATHEMATICAL LOGIC)
-
Descriptor FRETHÉORÈME DE HERBRAND (LOGIQUE MATHÉMATIQUE)
-
Variant FREHERBRAND/THÉORÈME DE HERBRAND (LOGIQUE MATHÉMATIQUE)