TRUTH MAINTENANCE SYSTEM (MATHEMATICAL LOGIC)
  • BT
    INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
  • UDC
    510.662,3
  • Descriptor GER
    BEGRÜNDUNGSSYSTEM (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    TRUTH MAINTENANCE SYSTEM (MATHEMATICAL LOGIC)
  • Descriptor FRE
    SYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    COHÉRENCE/SYSTÈME DE MAINTIEN DE COHÉRENCE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025