单词 | 一阶谓词演算 |
释义 | 一阶谓词演算翻译拼音:yī jiē wèi cí yǎn suàn英语翻译:【计】 first order predicate calculus; first-order predicate calculus 分词翻译:一阶的英语翻译:【计】 first order谓词演算的英语翻译:【计】 predicate calculus |
随便看 |
汉英词典包含397958条汉译英在线翻译词条,基本涵盖了全部常用汉语字词的英语翻译及用法,是英语学习及工作的有利工具。