MANY-SORTED LOGIC (MATHEMATICAL LOGIC)
  • BT
    DECISION PROBLEMS AND INFERENCE SEARCH (MATHEMATICAL LOGIC)
  • UDC
    510.66*5
  • Descriptor GER
    MEHRSORTENLOGIK (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    MANY-SORTED LOGIC (MATHEMATICAL LOGIC)
  • Descriptor FRE
    LOGIQUE MULTI-ESPÈCES (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    LOGIK/MEHRSORTENLOGIK (MATHEMATISCHE LOGIK)
  • Variant GER
    SORTEN/MEHRSORTENLOGIK (MATHEMATISCHE LOGIK)
  • Variant GER
    MEHRSORTENTHEORIEN (MATHEMATISCHE LOGIK)
  • Variant ENG
    LOGIC/MANY-SORTED LOGIC (MATHEMATICAL LOGIC)
  • Variant ENG
    SORTS/MANY-SORTED LOGIC (MATHEMATICAL LOGIC)
  • Variant ENG
    MANY-SORTED THEORIES (MATHEMATICAL LOGIC)
  • Variant FRE
    THÉORIES MULTI-ESPÈCES (LOGIQUE MATHÉMATIQUE)
  • Variant FRE
    ESPÈCES/LOGIQUE MULTI-ESPÈCES (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025