| 词汇 | 一阶谓词演算 |
| 释义 | 一阶谓词演算翻译拼音：yī jiē wèi cí yǎn suàn英语翻译：【计】 first order predicate calculus; first-order predicate calculus 分词翻译：一阶的英语翻译：【计】 first order谓词演算的英语翻译：【计】 predicate calculus |
| 随便看 |
特级字母英语在线翻译词典收录了832998条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。