Boost Your Productivity !Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Calcul logique
Démontreur de théorèmes en logique du premier ordre
LPO
Logique des prédicats du premier ordre
Logique du premier ordre
Représentation logique du premier ordre

Translation of "représentation logique du premier ordre " (French → English) :

TERMINOLOGY
see also In-Context Translations below
représentation logique du premier ordre
http://gdt.oqlf.gouv.qc.ca/fic (...) (...) [HTML] [2018-01-01]
first-order logical representation
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]
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
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]
calcul logique [ logique du premier ordre ]
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
logical calculus
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
démontreur de théorèmes en logique du premier ordre
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
first-order logic theorem prover
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
logique du premier ordre
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
first order logic [ first-order logics ]
Intelligence artificielle
Artificial Intelligence
http://www.btb.termiumplus.gc. (...) (...) [HTML] [2018-01-01]
http://www.btb.termiumplus.gc. (...) [HTML] [2018-01-01]
IN-CONTEXT TRANSLATIONS
L'Union européenne élargie, qui est d'ores et déjà une puissance commerciale de premier ordre, le plus grand contributeur d'aide au monde et un partenaire actif dans la négociation de normes multilatérales, verra son rôle considérablement renforcé et son influence encore accrue dans les trois piliers du système de gouvernance économique - le commerce, les finances et la fixation de normes - où elle assure une représentation unique vers l'extérieur.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]
The widened EU, already a leading trade power, the biggest aid donor globally, and an active partner in the negotiation of multilateral norms, will see its role considerably upgraded and its influence further enhanced in the three pillars of the economic governance system - trade, finance and norms setting - when it ensures everywhere a single external representation.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2017-12-31]
https://eur-lex.europa.eu/lega (...) [HTML] [2017-12-31]
la mesure dans laquelle les ordres passés modifient la représentation des meilleurs prix affichés à l’offre et à la demande d’un instrument financier, d’un contrat au comptant sur matières premières qui lui est lié ou d’un produit mis aux enchères sur la base des quotas d’émission, ou plus généralement la représentation du carnet d’ordres auquel ont accès les participants au marché, et sont annulés avant leur exécution; et
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-04-15]
the extent to which orders to trade given change the representation of the best bid or offer prices in a financial instrument, a related spot commodity contract, or an auctioned product based on emission allowances, or more generally the representation of the order book available to market participants, and are removed before they are executed; and
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-04-15]
https://eur-lex.europa.eu/lega (...) [HTML] [2014-04-15]
la mesure dans laquelle les ordres passés modifient la représentation des meilleurs prix affichés à l’offre et à la demande d’un instrument financier, d’un contrat au comptant sur matières premières qui lui est lié ou d’un produit mis aux enchères sur la base des quotas d’émission, ou plus généralement la représentation du carnet d’ordres auquel ont accès les participants au marché, et sont annulés avant leur exécution; et
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2014-04-15]
the extent to which orders to trade given change the representation of the best bid or offer prices in a financial instrument, a related spot commodity contract, or an auctioned product based on emission allowances, or more generally the representation of the order book available to market participants, and are removed before they are executed; and
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2014-04-15]
http://eur-lex.europa.eu/legal (...) [HTML] [2014-04-15]
Par ailleurs, les services innovants en aval et les applications conviviales qui utilisent les informations fournies par le secteur spatial constituent des moteurs de croissance de premier ordre et de grands pourvoyeurs d'emplois, et leur développement représente pour l'Union une opportunité importante.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-12-10]
In addition, innovative downstream services and user-friendly applications using space derived information represent an important source of growth and job creation, and their development represents an important opportunity for the Union.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-12-10]
https://eur-lex.europa.eu/lega (...) [HTML] [2013-12-10]
For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Par ailleurs, les services innovants en aval et les applications conviviales qui utilisent les informations fournies par le secteur spatial constituent des moteurs de croissance de premier ordre et de grands pourvoyeurs d'emplois, et leur développement représente pour l'Union une opportunité importante.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-12-10]
In addition, innovative downstream services and user-friendly applications using space derived information represent an important source of growth and job creation, and their development represents an important opportunity for the Union.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2013-12-10]
https://eur-lex.europa.eu/lega (...) [HTML] [2013-12-10]
Par ailleurs, les services innovants en aval et les applications conviviales qui utilisent les informations fournies par le secteur spatial constituent des moteurs de croissance de premier ordre et de grands pourvoyeurs d'emplois, et leur développement représente pour l'Union une opportunité importante.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-12-10]
In addition, innovative downstream services and user-friendly applications using space derived information represent an important source of growth and job creation, and their development represents an important opportunity for the Union.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2013-12-10]
http://eur-lex.europa.eu/legal (...) [HTML] [2013-12-10]
La Russie représente un partenaire de premier ordre en matière de sécurité énergétique pour l’UE.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2011-09-06]
Russia is an energy security partner of vital importance for the EU.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2011-09-06]
http://eur-lex.europa.eu/legal (...) [HTML] [2011-09-06]
la mesure dans laquelle les ordres passés ou les transactions effectuées ou les ordres annulés se traduisent par des renversements de positions sur une courte période et représentent une proportion importante du volume quotidien de transactions réalisé sur l’instrument financier concerné, un contrat au comptant sur matières premières qui lui est lié ou un produit mis aux enchères sur la base des quotas d’émission, et pourraient êtr ...[+++]
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-04-15]
the extent to which orders to trade given or transactions undertaken or orders cancelled include position reversals in a short period and represent a significant proportion of the daily volume of transactions in the relevant financial instrument, a related spot commodity contract, or an auctioned product based on emission allowances, and might be associated with significant changes in the price of a financial instrument, a related spot commodity contract, or an auctioned product based on emission allowances.
https://eur-lex.europa.eu/lega (...) (...) [HTML] [2014-04-15]
https://eur-lex.europa.eu/lega (...) [HTML] [2014-04-15]
(f) la mesure dans laquelle les ordres émis modifient la représentation des meilleurs prix affichés à l’offre et à la demande d’un instrument financier, d’un contrat sur matières premières au comptant qui lui est lié ou d’un produit mis aux enchères sur la base des quotas d’émission, ou plus généralement la représentation du carnet d’ordres auquel ont accès les participants au marché, et sont annulés avant leur exécution;
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2009-04-19]
(f) the extent to which orders to trade given change the representation of the best bid or offer prices in a financial instrument, a related spot commodity contract, or a auctioned product based on emission allowances, or more generally the representation of the order book available to market participants, and are removed before they are executed;
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2009-04-19]
http://eur-lex.europa.eu/legal (...) [HTML] [2009-04-19]
L'Union européenne élargie, qui est d'ores et déjà une puissance commerciale de premier ordre, le plus grand contributeur d'aide au monde et un partenaire actif dans la négociation de normes multilatérales, verra son rôle considérablement renforcé et son influence encore accrue dans les trois piliers du système de gouvernance économique - le commerce, les finances et la fixation de normes - où elle assure une représentation unique vers l'extérieur.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2003-12-31]
The widened EU, already a leading trade power, the biggest aid donor globally, and an active partner in the negotiation of multilateral norms, will see its role considerably upgraded and its influence further enhanced in the three pillars of the economic governance system - trade, finance and norms setting - when it ensures everywhere a single external representation.
http://eur-lex.europa.eu/legal (...) (...) [HTML] [2003-12-31]
http://eur-lex.europa.eu/legal (...) [HTML] [2003-12-31]


Others have searched : calcul logique    logique du premier ordre    représentation logique du premier ordre    


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

représentation logique du premier ordre

Date index:2022-10-29 -

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)