NONMONOTONIC REASONING (MATHEMATICAL LOGIC)
  • BT
    INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
  • UDC
    510.662,2
  • Descriptor GER
    NICHTMONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    NONMONOTONIC REASONING (MATHEMATICAL LOGIC)
  • Descriptor FRE
    RAISONNEMENT NON MONOTONE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    BEWEISVERFAHREN/NICHTMONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)
  • Variant GER
    NICHTMONOTONES SCHLIESSEN (MATHEMATISCHE LOGIK)
  • Variant GER
    SCHLIESSEN/NICHTMONOTONES SCHLIESSEN (MATHEMATISCHE LOGIK)
  • Variant GER
    NICHT-MONOTONES BEWEISVERFAHREN (MATHEMATISCHE LOGIK)
  • Variant GER
    NICHT-MONOTONES SCHLIESSEN (MATHEMATISCHE LOGIK)
  • Variant ENG
    REASONING/NONMONOTONIC REASONING (MATHEMATICAL LOGIC)
  • Variant ENG
    NON-MONOTONIC REASONING (MATHEMATICAL LOGIC)
  • Variant FRE
    LOGIQUE NON MONOTONE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    NON-MONOTONIE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025