LAMBDA-CALCULUS (MATHEMATICAL LOGIC)
  • BT
    ALGORITHMS AND COMPUTABLE FUNCTIONS (MATHEMATICS)
  • UDC
    510.5*1
  • Descriptor GER
    LAMBDA-KALKÜL (MATHEMATISCHE LOGIK)
  • Descriptor ENG
    LAMBDA-CALCULUS (MATHEMATICAL LOGIC)
  • Descriptor FRE
    CALCUL LAMBDA (LOGIQUE MATHÉMATIQUE)
  • Variant GER
    KALKÜL/LAMBDA-KALKÜL (MATHEMATISCHE LOGIK)
  • Variant ENG
    CALCULUS/LAMBDA-CALCULUS (MATHEMATICAL LOGIC)
  • Variant ENG
    LAMBDA-SCHEMES (MATHEMATICAL LOGIC)
  • Variant FRE
    LAMBDA/CALCUL LAMBDA (LOGIQUE MATHÉMATIQUE)
Contact
·
Last data import from Alma: 1 January 2025