INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
-
BTDECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
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)
-
NTAUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
-
NTTRUTH MAINTENANCE SYSTEM (MATHEMATICAL LOGIC)
-
NTINFERENCE RULES (MATHEMATICAL LOGIC)
-
NTCAUSAL REASONING (MATHEMATICAL LOGIC)
-
NTNONMONOTONIC REASONING (MATHEMATICAL LOGIC)
-
NTPROBABILISTIC REASONING (MATHEMATICAL LOGIC)
-
NTTHEORY REVISION (MATHEMATICAL LOGIC)
-
NTFUZZY REASONING (MATHEMATICAL LOGIC)
-
NTCOMPLETION (MATHEMATICAL LOGIC)
-
NTZERO-KNOWLEDGE PROCEDURE (MATHEMATICAL LOGIC)
-
RTCONCLUSION + CONCLUDE (PHILOSOPHICAL LOGIC)