SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
-
BTENTSCHEIDUNGSPROBLEME UND LOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
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)
-
NTAUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
-
NTBEGRÜNDUNGSSYSTEM (MATHEMATISCHE LOGIK)
-
NTINFERENZREGELN (MATHEMATISCHE LOGIK)
-
NTKAUSALES FOLGERN (MATHEMATISCHE LOGIK)
-
NTNICHTMONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)
-
NTPROBABILISTISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
NTTHEORIEANPASSUNG (MATHEMATISCHE LOGIK)
-
NTUNSCHARFES FOLGERN (MATHEMATISCHE LOGIK)
-
NTVERVOLLSTÄNDIGUNG (MATHEMATISCHE LOGIK)
-
NTZERO-KNOWLEDGE-VERFAHREN (MATHEMATISCHE LOGIK)
-
RTSCHLUSSVERFAHREN + SCHLIESSEN (PHILOSOPHISCHE LOGIK)