CLAUSES DE HORN (LOGIQUE MATHÉMATIQUE)
  • BT
    THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
  • UDC
    510.67,1
  • Descriptor GER
    HORNKLAUSELN (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    HORN CLAUSES (MATHEMATICAL LOGIC)
  • Descriptor FRE
    CLAUSES DE HORN (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    HORNKLAUSELLOGIK (MATHEMATISCHE LOGIK)
  • Variant GER
    LOGIK/HORNKLAUSELLOGIK (MATHEMATISCHE LOGIK)
  • Variant GER
    KLAUSELN/HORNKLAUSELN (MATHEMATISCHE LOGIK)
  • Variant GER
    HORN-KLAUSELN (MATHEMATISCHE LOGIK)
  • Variant ENG
    CLAUSES/HORN CLAUSES (MATHEMATICAL LOGIC)
  • Variant FRE
    HORN/CLAUSES DE HORN (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025