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

logique des prédicats du premier ordre

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

first order predicate logic

Intelligence artificielle

Artificial Intelligence

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

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

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]

forme clausale en logique de prédicats

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

clause form of predicate logic

IATE - Information technology and data processing

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

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

logique du premier ordre | LPO | logique des prédicats du premier ordre

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

first-order logic | first-order predicate logic

philosophie > théorie de la connaissance | intelligence artificielle

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

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

logique de prédicats à trois valeurs

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

3-valued predicate logic

Techniques d'affichage (Ordinateurs) | Langages de programmation | Programmes et programmation (Informatique)

Computer Display Technology | Programming Languages | Computer Programs and Programming

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

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

instrument de mesure d’un circuit logique électrique

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

Electrical logic circuit meter

SNOMEDCT-BE (physical object) / 700546003

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

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

étiquette logique | marqueur logique | valise logique

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

idiomatic tag | logical marker | logical tag

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]

transistor-transistor logic | TTL | T2L | transistor transistor logic

électronique > conception des microcircuits | informatique

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]

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

informatique > base de données

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 logique ttl logique de 1er ordre logique des prédicats logique du premier ordre logique transistor transistor logique à transistors couplés marqueur logique modèle de données logique modèle de données logiques modèle fonctionnel de données modèle logique modèle logique de données technologie ttl valise logique étiquette logique

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

logique des prédicats

Date index:2021-12-30 -

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 "logique 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)