Translation of "higher-order logic" into Greek
Λογική ανώτερου βαθμού is the translation of "higher-order logic" into Greek.
higher-order logic
-
Λογική ανώτερου βαθμού
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 Greek
-
Glosbe Translate
-
Google Translate
Add example
Add