Translation of "higher-order logic" into Chinese

高阶逻辑 is the translation of "higher-order logic" into Chinese.

higher-order logic
+ Add

English-Chinese dictionary

  • 高阶逻辑

    form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

  • Show algorithmically generated translations

Automatic translations of "higher-order logic" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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