Traduction de «predicate logic » (Anglais → Français) :

3-valued predicate logic

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

logique de prédicats à trois valeurs

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

http://www.btb.termiumplus.gc. (...) [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]

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]

two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]

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

calcul multi-sortes [ logique multi-sortes ]

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

http://www.btb.termiumplus.gc. (...) [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 logic | first-order predicate logic

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

logique du premier ordre | LPO | logique 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]

clause form of predicate logic

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

forme clausale en logique de prédicats

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

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

predicate offence to money laundering | predicate offence for money laundering | money laundering predicate offence

https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]

infraction préalable au blanchiment d'argent | infraction sous-jacente au blanchiment d'argent | infraction sous-jacente au blanchiment de capitaux | infraction sous-jacente du blanchiment de capitaux | acte préparatoire au blanchiment d'argent

https://www.termdat.bk.admin.c (...) (...) [HTML] [2018-01-01]

https://www.termdat.bk.admin.c (...) [HTML] [2018-01-01]

logical data model | logical model | logical entity-relation model | logical E-R model

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

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

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

Dolby Pro Logic | Dolby Surround Pro Logic | DS Pro Logic

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

système Dolby Pro Logic

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

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

D'autres ont cherché : predicate logic ds pro logic dolby pro logic dolby surround pro logic fopl fopc clause form of predicate logic first order logic first order predicate logic first-order logic first-order predicate calculus first-order predicate logic logical e-r model logical data model logical entity-relation model logical model many-sorted calculus many-sorted logic money laundering predicate offence predicate calculus predicate offence for money laundering predicate offence to money laundering quantification theory second order logic second-order predicate calculus second-order predicate logic two-sorted logic two-sorted predicate logic

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

'predicate logic' ->

Date index: 2024-03-12