Translation of "calcul des prédicats " (French → English) :

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

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

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

Intelligence artificielle

Artificial Intelligence

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

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

calcul des prédicats extensionnel

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

extensional predicate calculus

Intelligence artificielle

Artificial Intelligence

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

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

calcul des prédicats du premier ordre

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

first-order predicate calculus

intelligence artificielle

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

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

calcul des prédicats annoté

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

annotated predicate calculus

Intelligence artificielle

Artificial Intelligence

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

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

calcul des prédicats

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

predicate calculus

intelligence artificielle

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

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

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]

IATE - Information technology and data processing

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

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

prédicat calculable

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

computable predicate

IATE - Information technology and data processing

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

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

calcul rénal avec calcul urétéral

https://browser.ihtsdotools.or (...) (...) [HTML] [2018-01-01]

Calculus of kidney and ureter

SNOMEDCT-BE (disorder) / 266556005

https://browser.ihtsdotools.or (...) (...) [HTML] [2018-01-01]

https://browser.ihtsdotools.or (...) [HTML] [2018-01-01]

prédicat

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

precondition

IATE - Information technology and data processing

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]

manager of data processing operations | manager of operations | supervisor of operations | computer center supervisor

appellation de personne > appellation d'emploi | informatique

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

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

Others have searched : calcul de prédicats calcul des prédicats calcul des prédicats annoté calcul des prédicats extensionnel calcul rénal avec calcul urétéral chef de centre de calcul chef de centre informatique chef de service informatique gestionnaire de centre de calcul logique de 1er ordre logique des prédicats prédicat prédicat calculable superviseur de centre de calcul superviseur de centre de traitement de l'information superviseure de centre de calcul superviseure de centre de traitement de l'information superviseuse de centre de calcul superviseuse de centre de traitement de l'information

www.wordscope.com (v4.0.br.77)

calcul des prédicats

Date index:2022-09-24 -

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)

Translation of "calcul des prédicats " (French → English) :

Pour agences de traduction et traducteurs - For translation agencies & translators Paris - Brussels - Montreal - Genève - Luxembourg - Madrid Wordscope - Professional computer-assisted translation tools (CAT tools)

Pour agences de traduction et traducteurs - For translation agencies & translators

Paris - Brussels - Montreal - Genève - Luxembourg - Madrid

Wordscope - Professional computer-assisted translation tools (CAT tools)