undirectly
副词 adv.
英文释义
副词 adv.
-
Indirectly.
— Consider the rules that define directly or undirectly the goal f and let X be a list of a(f) distinct variables. Since f(X) is free w.r.t. X by hypothesis, it is possible to rewrite the variables in the above rules so that they are a subset of X.
词源
From undirect + -ly or un- + directly.
0 次浏览
数据来源: Wiktionary