Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!

https://pro.wordscope.com

https://blog. wordscope .com

Calculus language

Calculus-based language

Declarative language

Extensional predicate

Extensional predicate calculus

First order logic

First order predicate logic

First-order predicate calculus

First-order predicate logic

Non procedural language

Non procedure-oriented language

Non-procedural language

Nonprocedural language

Predicate calculus

Predicate calculus language

Predicate logic

Quantification theory

Second order logic

Second-order predicate calculus

Second-order predicate logic

Discover ChatGPT for Translators

Translation of "Extensional predicate calculus " (English → French) :

extensional predicate calculus

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

calcul des prédicats extensionnel

Artificial Intelligence

Intelligence artificielle

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

IATE - Information technology and data processing

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

IATE - Information technology and data processing

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

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]

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

informatique > langage de programmation informatique | intelligence artificielle

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 ]

Artificial Intelligence

Intelligence artificielle

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

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

extensional predicate

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

prédicat extensionnel

Artificial Intelligence

Intelligence artificielle

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

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

predicate calculus

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

calcul des prédicats

intelligence artificielle

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

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

calcul des prédicats du premier ordre

intelligence artificielle

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

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

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

'Extensional predicate calculus'

Date index:2021-05-16 -

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 "Extensional predicate calculus " (English → French) :

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)