RÉALISATION (LOGIQUE MATHÉMATIQUE)
-
BTRECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
UDC510.662,4
-
Descriptor GERVERVOLLSTÄNDIGUNG (MATHEMATISCHE LOGIK)
-
Descriptor ENGCOMPLETION (MATHEMATICAL LOGIC)
-
Descriptor FRERÉALISATION (LOGIQUE MATHÉMATIQUE)
-
NTTABLEAUX (LOGIQUE MATHÉMATIQUE)
-
RTSYSTÈMES DE RÉÉCRITURE + SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)