HERBRAND THEOREM (MATHEMATICAL LOGIC)
-
BTDECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
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)