Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
First order logic
First order predicate logic
First-order language
First-order logic
First-order predicate
First-order predicate calculus
First-order predicate language
First-order predicate logic
First-order relation
Predicate calculus
Predicate logic
Quantification theory
Second order logic
Second-order predicate calculus
Second-order predicate logic

Traduction de «first-order predicate logic » (Anglais → Français) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]

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


first-order predicate calculus [ first order predicate logic | quantification theory ]

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


first-order logic | first-order predicate logic

logique du premier ordre | LPO | logique des prédicats du premier ordre


first order predicate logic

logique des prédicats du premier ordre


second order logic | second-order predicate calculus | second-order predicate logic

logique d'ordre 2 | logique du deuxième ordre


first-order predicate language | first-order language

langage des prédicats du premier ordre | LPPO | langage du premier ordre


first-order relation [ first-order predicate ]

relation du premier ordre [ prédicat du premier ordre ]


first-order predicate calculus

calcul des prédicats du premier ordre
TRADUCTIONS EN CONTEXTE
13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level ...[+++]

13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015 ...[+++]


13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level ...[+++]

13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015 ...[+++]


13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level ...[+++]

13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015 ...[+++]


As with the first edition, in some instances, closely related Standing Orders have been grouped together for the sake of logic and cohesiveness — see specifically the Standing Orders governing financial procedures, committees, delegated legislation and Private Members’ Business.

Comme pour la première édition, en certains cas, des articles étroitement liés les uns aux autres ont été regroupés pour favoriser la logique et la cohérence de l’exposé historique — voir notamment les articles régissant la procédure financière, les comités, les décrets-lois et les affaires émanant des députés.


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
By order established through the logic of the witnesses, I am going to start first with Dr. Anne Rowan-Legg, who is a member of the Community Paediatrics Committee of the Canadian Paediatric Society.

Selon l'ordre logique des témoins, je vais laisser la parole en premier à la Dre Anne Rowan-Legg, qui est membre du Comité de la pédiatrie communautaire de la Société canadienne de pédiatrie.


Surely the logical place for this compensation is: first, for the government to finally put in enough money for victim compensation; second, to assist the court in ordering restorative justice, actual work in the community or whatever is appropriate; and third, providing assistance for victims to go to civil courts.

Ce pouvoir semble d'autant plus pertinent lorsqu'on sait qu'un grand nombre de prisonniers souffrent de troubles de santé mentale. Les mesures d'indemnisation ont logiquement pour but, premièrement, de veiller à ce que le gouvernement finance suffisamment les mesures d'indemnisation des victimes, deuxièmement, d'aider les tribunaux à imposer des mesures de justice réparatrice, notamment par le travail communautaire, et, troisièmement, d'aider les victimes à intenter des poursuites au civil.


14. Believes that, having identified the problems related to the Single Market, the Commission should move into the next logical phase of consolidating and finding ways to implement effectively the Single Market in order to regain the support of European citizens; welcomes the Commission’s work on the ‘The 20 main concerns’, which stemmed from the resolution of 20 May 2010, as a useful first step; calls on the Commission to bring forward the ‘Top 20 main Solutions’, as proposed at the Krakow Single Market Forum, to each of these sources of frustration;

14. estime que, ayant cerné les problèmes liés au marché unique, la Commission devrait passer à la phase logique suivante, à savoir renforcer le marché unique et trouver des voies pour le mettre en œuvre efficacement, afin de retrouver le soutien des citoyens européens; se félicite de l'action de la Commission concernant les "20 principaux sujets de préoccupation" qui découlaient de la résolution du 20 mai 2010, en ce qu'il s'agit d'une première démarche utile; invite la Commission à présenter les "20 principales solutions", comme l ...[+++]


The reason for combining these amendments into a single recital are two-fold; firstly, it allows the obligations of due diligence and the prohibition to be clearly stated, in one place and in a logical order; in addition, it brings together due diligence and the prohibition with the phrase 'to facilitate compliance', which accurately embodies the relationship between these two complementary, but separate, components of the regulation.

Ces amendements ont été regroupés pour deux raisons: la première est de préciser à un seul endroit et dans un ordre logique les obligations liées au système de diligence raisonnable ainsi que les interdictions; la deuxième est de regrouper la notion de diligence raisonnable et l'interdiction avec l'expression "respect de la législation", qui concrétise la relation entre ces deux éléments complémentaires, mais distincts, du règlement.


As to the proposed amendments to the Shipping Conferences Exemption Act, SCEA, these appear to be in order and the logical extension of a process which has been ongoing in this country since at least 1971 when Canada's first SCEA was enacted to exempt international shipping conferences from the applications of certain provisions of Canada's then antitrust legislation.

En ce qui concerne les modifications à la Loi dérogatoire sur les conférences maritimes, elles semblent s'inscrire dans le droit fil du processus amorcé en 1971, voire avant, lorsque le Canada a adopté la première Loi dérogatoire sur les conférences maritimes en vue de soustraire les conférences maritimes internationales à certaines dispositions des lois antitrust en vigueur au Canada à l'époque.


Nonetheless, Senator Murray's point is logical: any Honourable Senator, being of the opinion that an item on the Order Paper is not procedurally correct, should ask that the matter be resolved first, before entering into debate on the merits of the motion.

N?anmoins, ce que le s?nateur Murray a fait valoir est logique : tout s?nateur qui estime qu'un point de l'ordre du jour n'est pas correct sur le plan de la proc?dure devrait demander que l'on tranche la question en premier lieu avant de discuter du bien-fond? de la motion.




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

'first-order predicate logic' ->

Date index: 2021-12-05
w