ENTSCHEIDUNGSPROBLEME UND LOGISCHES SCHLIESSEN (MATHEMATISCHE LOGIK)
-
BTMATHEMATISCHE LOGIK
-
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)
-
NTENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
-
NTFEHLERLOGIK (MATHEMATISCHE LOGIK)
-
NTFORCING (MATHEMATISCHE LOGIK)
-
NTHERBRANDSCHER SATZ (MATHEMATISCHE LOGIK)
-
NTMEHRSORTENLOGIK (MATHEMATISCHE LOGIK)
-
NTNICHTSTANDARD LOGIK (MATHEMATISCHE LOGIK)
-
NTSCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
-
NTUNIFIKATION (MATHEMATISCHE LOGIK)