SYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)
-
BTRECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
-
UDC510.662,3
-
Descriptor GERBEGRÜNDUNGSSYSTEM (MATHEMATISCHE LOGIK)
-
Descriptor ENGTRUTH MAINTENANCE SYSTEM (MATHEMATICAL LOGIC)
-
Descriptor FRESYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)
-
Variant FRECOHÉRENCE/SYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)