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 «pure first-order 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 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


first-order logical representation

représentation 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 fi ...[+++]


Therefore, as the first order of business, the industry wants the adoption of a uniform definition of what constitutes pure maple syrup.

Par conséquent, l'industrie souhaite d'abord et avant tout que l'on adopte une définition uniforme de ce qui constitue du sirop d'érable pur.


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.


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.


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


Recognises that, with the entry into force of the Waterborne (8) and Bus (9) Regulations in December 2012 and March 2013 respectively, the EU will have established the first integrated area of passenger rights for all modes of transport in the world; notes that the relevant EU legislation will now need to be implemented fully in a concerted and coordinated manner by all Member States in order to transform the Union’s passenger transport policy from being strategically purely modal to being intermodal;

reconnaît qu'avec l'entrée en vigueur des règlements sur le transport par voie d'eau (8) et le transport par autobus/autocar (9), respectivement en décembre 2012 et mars 2013, l'Union européenne aura créé le premier espace intégré, dans le monde, des droits des passagers pour tous les modes de transport; fait observer que le droit européen applicable devra être intégralement mis en œuvre de manière concertée et coordonnée par tous les États membres afin de passer d'une politique de l'Union en matière de transport des passagers purement modale d'un point de vue stratégique à une politique intermodale;


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.


In order to avoid a situation of purely specific taxation in one Member State and purely ad valorem taxation in a neighbouring Member State, which would result in cross border flow for premium brands from the first to the second Member State with bottom priced brands flowing in the opposite direction, some consistency of excise tax structures remains desirable, according to the Commission.

Pour éviter une situation dans laquelle deux États membres limitrophes appliqueraient, l’un une taxation exclusivement spécifique, et l’autre une taxation exclusivement ad valorem, ce qui entraînerait des flux transfrontaliers des marques de classe supérieure du premier vers le second État membre et des flux dans le sens inverse pour les marques premier prix, la Commission juge souhaitable de maintenir une certaine cohérence dans la structure des droits d’accises.


First, I would like to look at the issue from a purely logical or legalistic perspective and then I'll look at the issue from a teacher's perspective.

Premièrement, je vais m'inscrire dans une perspective purement logique ou légaliste, avant d'examiner la question selon l'optique d'un enseignant.


- in order to ensure that the requirement provided for in the first indent is satisfied, the criteria for approval and recognition of breeders' organizations or associations, the criteria for entry or registration in pedigree records or registers, the criteria for approval for reproduction of pure-bred animals and for the use of their semen, ova and embryos, and the certificate to be required for their marketing should be established in a non-discriminatory manner, with due regard for the principles laid down by the organization or association which maintains the register or pedigree record of the breed in question.

- en vue d'assurer que l'exigence prévue au premier tiret soit satisfaite, les critères d'agrément et de reconnaissance des organisations ou associations d'éleveurs, les critères d'inscription ou d'enregistrement dans les registres et les livres généalogiques, de même que les critères d'admission à la reproduction d'animaux de race, à l'utilisation de leurs spermes, ovules ou embryons, ainsi que le certificat à exiger lors de leur commercialisation, soient établis de manière non discriminatoire, dans le respect des principes établis par l'organisation ou l'association qui détient le registre ou le livre généalogique d'origine de la race.




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

'pure first-order logic' ->

Date index: 2021-11-01
w