RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
  • BT
    RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
  • UDC
    510.27*1
  • Descriptor GER
    INFERENZREGELN (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    INFERENCE RULES (MATHEMATICAL LOGIC)
  • Descriptor FRE
    RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    REGELN/INFERENZREGELN (MATHEMATISCHE LOGIK)
  • Variant GER
    INFERENZ (MATHEMATISCHE LOGIK)
  • Variant ENG
    RULES/INFERENCE RULES (MATHEMATICAL LOGIC)
  • Variant ENG
    INFERENCE (MATHEMATICAL LOGIC)
  • Variant FRE
    INFÉRENCE/RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    INFÉRENCE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025