RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
  • BT
    RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
  • UDC
    510.662,1
  • Descriptor GER
    THEORIEANPASSUNG (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    THEORY REVISION (MATHEMATICAL LOGIC)
  • Descriptor FRE
    RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    ANPASSUNG/THEORIEANPASSUNG (MATHEMATISCHE LOGIK)
  • Variant ENG
    BELIEF REVISION (MATHEMATICAL LOGIC)
  • Variant ENG
    REVISION/BELIEF REVISION (MATHEMATICAL LOGIC)
  • Variant ENG
    REVISION/THEORY REVISION (MATHEMATICAL LOGIC)
  • Variant FRE
    THÉORIQUE/RÉVISION THÉORIQUE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025