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

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

extensional predicate calculus
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
calcul des prédicats extensionnel
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
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
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
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]
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
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 ]
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
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
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
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é : fopl fopc     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     Extensional predicate calculus     


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

'Extensional predicate calculus' ->

Date index: 2023-04-08
w