?高阶述词演算
... 高阶居先文法 high order precedence grammar 高阶述词演算 high order predicate calculus 高通 high pass ...
数,计 高阶谓词演算
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。