高阶谓词演算
拼音gāo jiē wèi cí yǎn suàn
英语翻译
【计】 high-order predicate calculus; higher order predicate calculus
分词翻译
高的英语翻译：
high; high-priced; lofty; loud; tall
【医】 homo-; hyper-; hypsi-; hypso-; per-
阶的英语翻译：
rank; stairs; steps
【计】 characteristic
【医】 scala
谓词演算的英语翻译：
【计】 predicate calculus
0
纠错
英语造句
最新应用
