Traduction de «Temporal logics » (Anglais → Français) :

TERMINOLOGIE

temporal logic [ temporal logics ]
logique temporelle

temporal logic
logique temporelle

interval-based temporal logic
logique temporelle à base d'intervalles

first-order temporal logic
logique temporelle du premier ordre

temporal invisibility cloak | temporal cloak | time invisibility cloak | time cloak | temporal cloaking device | time cloaking device | spatio-temporal cloak
cape d'invisibilité temporelle | dispositif d'invisibilité temporelle | système d'invisibilité temporelle | cape spatiotemporelle

logical data model | logical model | logical entity-relation model | logical E-R model
modèle logique de données | MLD | modèle logique | modèle fonctionnel de données | modèle de données logique | modèle de données logiques

programmable logic array | programmable logic device | simple programmable logic device | PLA [Abbr.] | PLD [Abbr.] | SPLD [Abbr.]
matrice logique programmable | réseau logique programmable

logic of players | players' strategies | player logic | players' logic
logique des joueurs

TRADUCTIONS EN CONTEXTE

In order to determine whether offences arise out of the same event, the court must consider whether there is a temporal or logical connection between them.
Pour déterminer si les infractions ont été commises au cours du même événement, les tribunaux se demandent s'il existe un lien chronologique ou logique entre elles.

Aeronautical information feature on request. Filtering possible by feature type, name and an advanced filter with spatial, temporal and logical operators.
éléments d'information aéronautique à la demande; possibilité de filtrage par nom, type d'élément et filtre avancé au moyen d'opérateurs spatiaux, temporels et logiques,

Looking at his many accomplishments, one might think that he is hyperactive. However, when we saw him in his role as senator and speaker pro tempore, we knew that he was a wise, thoughtful, logical, calm and discreet man.
Lorsque l'on regarde ses nombreuses réalisations, on serait porté à croire qu'il est hyperactif, mais lorsqu'on le regardait se comporter comme sénateur et comme Président intérimaire, on avait davantage le sentiment d'être devant un sage, un homme réfléchi, logique, calme et discret.

The proper way to have handled the matter in question would have been for the Speaker pro tempore to have taken her seat, and another senator to have occupied the Chair, thereby complying with both rule 56(3), and the logic of speaking as outlined in rule 55.
Pour traiter cette affaire convenablement, il aurait fallu que madame le Président pro tempore quitte son fauteuil et qu'un autre sénateur l'occupe, conformément à ce que prévoit le paragraphe 56(3) et à la logique des interventions telle qu'elle est exposée dans l'article 55 du Règlement.