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 de prédicats
Calcul des prédicats
Calcul des prédicats annoté
Calcul des prédicats du premier ordre
Calcul des prédicats extensionnel
Logique de 1er ordre
Logique des prédicats
Logique des prédicats du premier ordre
Prédicat calculable

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

TERMINOLOGY
see also In-Context Translations below
calcul des prédicats annoté

annotated predicate calculus
Intelligence artificielle
Artificial Intelligence


calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
IATE - Information technology and data processing
IATE - Information technology and data processing


calcul des prédicats du premier ordre [ logique des prédicats du premier ordre ]

first-order predicate calculus [ first order predicate logic | quantification theory ]
Intelligence artificielle
Artificial Intelligence


calcul des prédicats du premier ordre

first-order predicate calculus
intelligence artificielle
intelligence artificielle


calcul des prédicats extensionnel

extensional predicate calculus
Intelligence artificielle
Artificial Intelligence


calcul des prédicats

predicate calculus
intelligence artificielle
intelligence artificielle


prédicat calculable

computable predicate
IATE - Information technology and data processing
IATE - Information technology and data processing
IN-CONTEXT TRANSLATIONS
(2) Lorsqu’une demande est traitée, à la demande du demandeur, par des spécialistes techniques qui autrement ne seraient pas disponibles en vertu de la politique du ministère des Transports, pour traiter la demande et qui sont affectés de façon prioritaire et exclusive au traitement de celle-ci, la redevance imposée à l’égard de la délivrance, du renouvellement, de la modification ou de l’annotation à compter du 1 janvier 1998 d’un document visé à la colonne I des articles 1, 3, 4, 5, 7 et 8 de l’annexe V, Approbation de produits aéronautiques, de la présente sous-partie correspond au montant calculé ...[+++]

(2) If, at the request of the applicant, an application is processed by technical specialists who would not otherwise be available under Department of Transport policy to process the application and who are dedicated on an exclusive, priority basis to the application, the charge imposed in respect of the issuance, renewal, amendment or endorsement on or after January 1, 1998 of a document referred to in column I of items 1, 3, 4, 5, 7 and 8 of Schedule V, Aeronautical Product Approvals, to this Subpart is the amount calculated on the basis of $120 per hour for each technical specialist assigned to the processing of the application.


104.03 (1) Sous réserve du paragraphe (2), la redevance imposée à l’égard de la délivrance, du renouvellement, de la modification ou de l’annotation à compter du 1 janvier 1998 d’un document visé à la colonne I des articles 1, 3, 4, 5, 7 et 8 de l’annexe V, Approbation de produits aéronautiques, de la présente sous-partie correspond au montant calculé selon un taux horaire de 40 $ pour chaque spécialiste technique affecté au traitement de la demande, ce montant ne pouvant dépasser la redevance indiquée à la colonne II.

104.03 (1) Subject to subsection (2), the charge imposed in respect of the issuance, renewal, amendment or endorsement on or after January 1, 1998 of a document referred to in column I of items 1, 3, 4, 5, 7 and 8 of Schedule V, Aeronautical Product Approvals, to this Subpart is the amount calculated on the basis of $40 per hour for each technical specialist assigned to the processing of the application, which amount shall not exceed the charge set out in column II of the item.


La Commission prévoit de publier sur sa plateforme en matière de transparence des exemples annotés de calculs de valeurs réelles ainsi qu'une série de valeurs standard, tirées des séries de données utilisées pour établir les valeurs par défaut, qui pourraient servir pour certains des coefficients utilisés dans le calcul des valeurs réelles.

The Commission intends to publish on its transparency platform annotated examples of calculations of actual values as well as a set of standard values, derived from the datasets used to establish the default values, that could be used for some of the coefficients used in the calculation of actual values.


La Commission prévoit de publier sur sa plateforme en matière de transparence des exemples annotés de calculs de valeurs réelles ainsi qu'une série de valeurs standard, tirées des séries de données utilisées pour établir les valeurs par défaut, qui pourraient servir pour certains des coefficients utilisés dans le calcul des valeurs réelles.

The Commission intends to publish on its transparency platform annotated examples of calculations of actual values as well as a set of standard values, derived from the datasets used to establish the default values, that could be used for some of the coefficients used in the calculation of actual values.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
La Commission prévoit de publier sur sa plateforme en matière de transparence un exemple annoté de calcul des émissions résultant de l'évolution du stock de carbone à la suite d'un changement d'affectation des sols.

The Commission intends to publish on its transparency platform an annotated example for the calculation of emissions from carbon stock changes due to land use change.


La Commission prévoit de publier sur sa plateforme en matière de transparence un exemple annoté de calcul des émissions résultant de l'évolution du stock de carbone à la suite d'un changement d'affectation des sols.

The Commission intends to publish on its transparency platform an annotated example for the calculation of emissions from carbon stock changes due to land use change.




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

calcul des prédicats annoté

Date index:2021-02-04 -

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)