COMPLETION (MATHEMATICAL LOGIC)
-
BTINFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
-
UDC510.662,4
-
Descriptor GERVERVOLLSTÄNDIGUNG (MATHEMATISCHE LOGIK)
-
Descriptor ENGCOMPLETION (MATHEMATICAL LOGIC)
-
Descriptor FRERÉALISATION (LOGIQUE MATHÉMATIQUE)
-
NTTABLEAUX (MATHEMATICAL LOGIC)
-
RTREWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)