Translation of "higher-order logic" into French

logique d'ordre supérieur, logique de plus haut niveau are the top translations of "higher-order logic" into French.

higher-order logic
+ Add

English-French dictionary

  • logique d'ordre supérieur

    logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats

    PPP identified a need for higher-order logics (HOL), which allow quantification into positions of predicates and plural noun phrases.

    Le projet PPP a constaté la nécessité d'une logique d'ordre supérieur, permettant la quantification dans des prédicats et des expressions nominales plurielles.

  • logique de plus haut niveau

  • Show algorithmically generated translations

Automatic translations of "higher-order logic" into French

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "higher-order logic" with translations into French

Add

Translations of "higher-order logic" into French in sentences, translation memory