RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
BTPROBLÈMES DE DÉCISION ET TECHNIQUES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
UDC510.662
-
Descriptor GERSCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
-
Descriptor ENGINFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
-
Descriptor FRERECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
Variant GERBEWEISTHEORIE (MATHEMATISCHE LOGIK)
-
Variant GERTHEORIE DES BEWEISES (MATHEMATISCHE LOGIK)
-
Variant GERVERFAHREN/SCHLUSSVERFAHREN (MATHEMATISCHE LOGIK)
-
Variant GERLOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
Variant GERSCHLIESSEN/LOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
Variant ENGSEARCH/INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
Variant ENGPROOF THEORY (MATHEMATICAL LOGIC)
-
Variant ENGTHEORY OF PROOF (MATHEMATICAL LOGIC)
-
Variant FREINFÉRENCE/RECHERCHE D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
Variant FRETHÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
Variant FREPREUVE/THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
NTDÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
-
NTSYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)
-
NTRÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
-
NTRAISONNEMENT CAUSAL (LOGIQUE MATHÉMATIQUE)
-
NTRAISONNEMENT NON MONOTONE (LOGIQUE MATHÉMATIQUE)
-
NTRAISONNEMENT PROBABILISTE (LOGIQUE MATHÉMATIQUE)
-
NTRÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
-
NTRAISONNEMENT FLOU (LOGIQUE MATHÉMATIQUE)
-
NTRÉALISATION (LOGIQUE MATHÉMATIQUE)
-
NTTECHNIQUE À CONNAISSANCE NULLE (LOGIQUE MATHÉMATIQUE)
-
RTCONCLUSION + CONCLURE (LOGIQUE PHILOSOPHIQUE)