[计]?谓词转换器
... 谓词演算中的原子公式 atomic formula in predicate calculus 谓词转换器 predicate converter 温（切斯特）盘驱动器 Winchester disk drive ...
?述词转换器
... 述词演算逻辑 predicate calculus logic 述词转换器 predicate converter 述词字母 predicate letter ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。