| 字词 | 高阶谓词演算 |
| 释义 | 【计】 high-order predicate calculus; higher order predicate calculus |
汉译英翻译词典收录405719条汉英翻译词条，基本涵盖了全部常用中文字词的英语拼写、翻译、音标、读音、用法、例句等，是英语学习的有利工具。
相关内容：
“高阶谓词演算”英文翻译
热门资讯...
热文观察...
单词 postponeless 释义 postponeless, a. rare—1.[f. postpone v. + -less.]That may not be p......- 单词 shirk 释义 shirk v[I, Tn, Tg] (derog 贬) avoid doing (work, one´s duty, etc) th......
- 单词 postponer 释义 postponer|pstpn(r)|[f. postpone + -er1.]One who postpones, puts off, o......
- 单词 shirtiness 释义 shirtiness n [U]. 英汉双解词典包含38652条英汉词条，基本涵盖了全部常......
- 字词 高阶逻辑 释义 【计】 higher order logic; highor-order logic 汉译英翻译词典收录4057......