PROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
BTLOGIQUE MATHÉMATIQUE
-
UDC510.66
-
Descriptor GERENTSCHEIDUNGSPROBLEME UND LOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
Descriptor ENGDECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
Descriptor FREPROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
NTPROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE DES DÉFAUTS (LOGIQUE MATHÉMATIQUE)
-
NTFORCING (LOGIQUE MATHÉMATIQUE)
-
NTTHÉORÈME DE HERBRAND (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE MULTI-ESPÈCES (LOGIQUE MATHÉMATIQUE)
-
NTLOGIQUE NON STANDARD (LOGIQUE MATHÉMATIQUE)
-
NTRECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
NTUNIFICATION (LOGIQUE MATHÉMATIQUE)