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

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

logique du premier ordre

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

représentation logique du premier ordre

logique du premier ordre pure

démontreur de théorèmes en logique du premier ordre

fonction de dégradation de premier ordre | méthode de décomposition de premier ordre

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

point de triangulation de 1er ordre

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 ...[+++]our les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

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 ...[+++]our les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

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 ...[+++]our les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

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.