Translation of "higher-order logic" into Japanese

高階述語論理 is the translation of "higher-order logic" into Japanese.

higher-order logic
+ Add

English-Japanese 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 Japanese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

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