Translation of "Temporal logic" into French

Logique temporelle, logique temporelle are the top translations of "Temporal logic" into French.

Temporal logic
+ Add

English-French dictionary

  • Logique temporelle

    Temporal logic is an extension of prepositional logic that integrates special operators which act in terms of time.

    La logique temporelle est une extension de la logique prépositionnelle qui intègre des opérateurs spéciaux agissant en fonction de données temporelles.

  • Show algorithmically generated translations

Automatic translations of "Temporal logic" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Translations with alternative spelling

temporal logic noun grammar

A form of symbolic logic used to reason about properties of statements related to order and duration. [..]

+ Add

English-French dictionary

  • logique temporelle

    methods for reasoning about propositions involving time

    PROSPER's natural language interface assists designers by automatically translating English phrases into temporal logic.

    L'interface en langage naturel PROSPER aide les concepteurs en traduisant automatiquement des phrases en anglais en logique temporelle.

Phrases similar to "Temporal logic" with translations into French

Add

Translations of "Temporal logic" into French in sentences, translation memory