Traduction de «Predicate calculus » (Anglais → Français) :

predicate calculus

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

calcul des prédicats

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

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

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

calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

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

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

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]

second order logic | second-order predicate calculus | second-order predicate logic

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

logique d'ordre 2 | logique du deuxième ordre

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

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

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

langage déclaratif | langage non-procédural | langage assertionnel | langage non algorithmique

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

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

first-order predicate calculus [ first order predicate logic | quantification theory ]

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

calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

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

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

first-order predicate calculus

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

calcul des prédicats du premier ordre

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

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

annotated predicate calculus

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

calcul des prédicats annoté

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

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

extensional predicate calculus

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

calcul des prédicats extensionnel

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]

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

'Predicate calculus' ->

Date index: 2022-03-19