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 logic
First-order logic theorem prover
First-order logical representation
First-order logics
First-order predicate calculus
First-order predicate logic
Predicate calculus
Predicate logic
Pure first-order logic

Traduction de «first-order logical representation » (Anglais → Français) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
first-order logical representation

représentation logique du premier ordre


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 logic [ first-order logics ]

logique du premier ordre


first-order logic | first-order predicate logic

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


first-order logic theorem prover

démontreur de théorèmes en logique 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, permettra de disposer d'une première vue d'ensemble du montant des factures impayées à la fin de 2014 p ...[+++]


25 (1) Within five days after the day on which the Minister receives the representation order, the Governor in Council shall by proclamation declare the representation order to be in force, effective on the first dissolution of Parliament that occurs at least seven months after the day on which that proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly.

25 (1) Dans les cinq jours qui suivent la date de la réception par le ministre du décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins sept mois après la date de la proclamation.


And whereas section 25 of the Electoral Boundaries Readjustment Act provides that, within five days after the receipt by the Minister of the draft representation order, the Governor in Council shall by proclamation declare the draft representation order to be in force, effective on the first dissolution of Parliament that occurs at least one year after the day on which the proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly;

Attendu que l’article 25 de la Loi sur la révision des limites des circonscriptions électorales prévoit que, dans les cinq jours qui suivent la date à laquelle le ministre a reçu le projet de décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins un an après la date de cette proclamation,


And whereas section 25 of the Electoral Boundaries Readjustment Act provides that, within five days after the day on which the Minister receives the representation order, the Governor in Council shall by proclamation declare the representation order to be in force, effective on the first dissolution of Parliament that occurs at least seven months after the day on which the proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly;

Attendu que l’article 25 de la Loi sur la révision des limites des circonscriptions électorales prévoit que, dans les cinq jours qui suivent la date de la réception par le ministre du décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins sept mois après la date de la proclamation,


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
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.


3. The standard capacity products shall follow a logical order by which products covering yearly capacity shall be offered first, followed by the product with the next shortest capacity duration for use during the same period.

3. Les produits standard de capacité suivent un ordre logique selon lequel les produits couvrant une capacité annuelle sont proposés en premier, suivis du produit dont la maturité est immédiatement inférieure pour une utilisation pendant la période concernée.


I'll start not with my first, in logical order, but with what I think is the shortest; that is, as somebody who has spent more time in court while the Nuclear Liability Act's legality and constitutionality were debated than anybody in your room, I would suggest that neither the Nuclear Liability Act nor its draft successor, Bill C-20, is likely to survive a charter challenge after an accident.

Je ne vais pas commencer par le premier, dans l'ordre logique, mais par celui que je pense être le plus court. Autrement dit, ayant passé plus de temps devant les tribunaux que qui que ce soit ici, quand il était question de la légalité et de la constitutionnalité de la Loi sur la responsabilité nucléaire, je dirais que ni la Loi sur la responsabilité nucléaire ni le projet de loi C-20 ne survivront à une contestation judiciaire après un accident.


The Commission has made an assessment for the different regions as defined in 2005 by the Member States’ experts for the progressive implementation of the VIS, and taking into account, notably for the first criterion, elements such as the average visa refusal and entry refusal rates for each of the regions concerned, and, for the third criterion, the fact that consular presence or representation should be increased in certain regions in order to efficiently implement the VIS in these regions.

La Commission a procédé à une évaluation des différentes régions définies en 2005 par les experts des États membres en vue de la mise en œuvre progressive du VIS, en tenant compte, notamment pour le premier critère, d’éléments tels que les taux moyens de refus de visa et de non-admission pour chacune des régions concernées et, pour le troisième critère, du fait que la présence ou la représentation consulaires devraient être accrues dans certaines régions afin d’y appliquer efficacement le VIS.


6. In order to guarantee adequate representation of staff from national diplomatic services in the EEAS, the High Representative shall decide that, by way of derogation from Article 29 and from the first subparagraph of Article 98(1) of the Staff Regulations, priority may be given until 30 June 2013 for certain posts in the AD function group in the EEAS to candidates from national diplomatic services of the Member States in the case of equivalent qualifications.

6. Afin de garantir une représentation appropriée du personnel des services diplomatiques nationaux au SEAE, le haut représentant décide que, par dérogation à l’article 29 et à l’article 98, paragraphe 1, premier alinéa, du statut, la priorité peut être accordée jusqu’au 30 juin 2013, dans le cas de certains postes relevant du groupe de fonctions AD à pourvoir au SEAE, aux candidats des services diplomatiques nationaux des États membres pour des niveaux de qualification équivalents.


Mr Stubb is right: this is one of the saddest debates that I have attended in this House, but I hope that tomorrow the result of the vote on this report will be one of the best moments that we experience, because this report, which is not only theirs but also belongs to the Committee on Constitutional Affairs, with 70 % support, firstly responds to what the Council has asked of this House; secondly applies the principle of degressive proportionality, thirdly, guarantees a representative Parliament, something that would have been impossible with the Treaty of Nice, partly because under this treaty, in an unjustifiable and unjustified way, some countries like Spain ended up with no proportional logic ...[+++]

Monsieur Stubb a raison lorsqu'il dit que c'est l'un des débats les plus tristes auxquels il ait assisté au sein de cette assemblée mais j'espère que demain, le résultat du vote sur ce rapport sera l'un des meilleurs moments que nous connaîtrons, parce que ce rapport, qui n'est pas seulement le leur mais aussi celui de la commission des affaires constitutionnelles, qui le soutient à 70 %, répond d'abord à ce que le Conseil a demandé à cette chambre. Deuxièmement, il applique le principe de la proportionnalité dégressive, troisièmement, il garantit un parlement représentatif, chose qui aurait été impossible avec le traité de Nice, en partie parce que sous ce traité, d'une manière injustifiable et injustifiée, quelques pays, comme l'Espagne, ...[+++]




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

'first-order logical representation' ->

Date index: 2021-11-11
w