Übersetzung für "lambda-calculus " (Englisch → Französisch) :

typed Lambda-calculus

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

Lambda-calcul typé

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

lambda calculus | lambda-calculus | λ-calculus

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

lambda-calcul | lambda calcul | λ-calcul

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

lambda calculus

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

lambda-calcul

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

erase calculus, plaque and stains | remove calculus, plaque and stains according to dentist's directions | eliminate calculus, plaque and stains according to dentist's directions | remove calculus, plaque and stains

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

retirer les dépôts, la plaque dentaire et les taches

https://ec.europa.eu/esco/port (...) (...) [HTML] [2017-12-31]

https://ec.europa.eu/esco/port (...) [HTML] [2017-12-31]

multiprotocol lambda switching | MPλS | MP lambda switching | lambda MPLS

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

commutation multiprotocole par longueur d'onde | commutation multiprotocole lambda | commutation multiprotocole basée sur la longueur d'onde

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

calculus language | calculus-based language | non procedural language | predicate calculus language

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

langage assertionnel | langage de type calcul | langage non procédural

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

domain calculus | domain oriented calculus | domain relational calculus

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

calcul à variables domaines | calcul de domaines | calcul relationnel à variables domaines | calcul relationnel de domaines

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

subgingival calculus [ invisible calculus | serumal calculus ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

tartre sous-gingival [ tartre sérique ]

http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]

http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]

propositional calculus | proposition calculus | sentential calculus

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

calcul des propositions | calcul propositionnel

http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]

http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]

calculus vesicalis | urinary calculus

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

calcul vésical | cystolithe

http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]

http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]

datacenter (1): www.wordscope.de (v4.0.br)

'lambda-calculus' ->

Date index: 2023-02-20