LOGIQUE DE HOARE (LOGIQUE MATHÉMATIQUE)
  • BT
    LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)
  • UDC
    510.635,1
  • Descriptor GER
    HOARESCHE LOGIK (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    HOARE LOGIC (MATHEMATICAL LOGIC)
  • Descriptor FRE
    LOGIQUE DE HOARE (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    LOGIK/HOARESCHE LOGIK (MATHEMATISCHE LOGIK)
  • Variant ENG
    LOGIC/HOARE LOGIC (MATHEMATICAL LOGIC)
  • Variant FRE
    HOARE/LOGIQUE DE HOARE (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025