Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Annotated predicate calculus
Calculus language
Calculus-based language
Declarative language
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

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

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
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
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
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
declarative language | nonprocedural language | non-procedural language | non procedure-oriented language | calculus-based language | predicate calculus language
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
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]
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
IATE - Information technology and data processing
http://iate.europa.eu/FindTerm (...) (...) [HTML] [2017-12-31]
http://iate.europa.eu/FindTerm (...) [HTML] [2017-12-31]
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]
first-order predicate calculus
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
calcul des prédicats du premier ordre
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
predicate calculus
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
calcul des prédicats
intelligence artificielle
intelligence artificielle
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
http://gdt.oqlf.gouv.qc.ca/fic (...) [HTML] [2018-01-01]
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]
annotated predicate calculus
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
calcul des prédicats annoté
Artificial Intelligence
Intelligence artificielle
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]


Others have searched : fopl fopc    annotated predicate calculus    calculus language    calculus-based language    declarative language    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    


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

'predicate calculus language'

Date index:2023-11-09 -

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)