日语在线翻译
查 词
高阶谓词演算
中
高阶谓词演算
拼音：
gāo jiē wèi cí yǎn suàn
英語訳
higher order predicate calculus、high-order predicate calculus
相关/近似词汇：
high-order
higher