DECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
-
BTMATHEMATICAL LOGIC
-
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)
-
NTDECISION PROBLEMS (MATHEMATICAL LOGIC)
-
NTDEFAULT LOGIC (MATHEMATICAL LOGIC)
-
NTFORCING (MATHEMATICAL LOGIC)
-
NTHERBRAND THEOREM (MATHEMATICAL LOGIC)
-
NTMANY-SORTED LOGIC (MATHEMATICAL LOGIC)
-
NTNONSTANDARD LOGIC (MATHEMATICAL LOGIC)
-
NTINFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
-
NTUNIFICATION (MATHEMATICAL LOGIC)