英语词汇many sorted predicate calculus怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	many sorted predicate calculus
释义	many sorted predicate calculus 简明释义多种类谓词演算网络释义 1 ?多种类谓词演算多种类谓词演算
随便看	antartis antas Antas de Ulla antasphyctic Antasten antasthenic antasthmatic antasthmatic neurosis antasthmatic antatrophic antawn antazoline Antazoline Hydrocheoride antazoline hydrochloride antazoline hydrochloride tablets Antazoline Phosphate Antazonite ant bear ant bear antbear ant-bears ant bear ant beetle antbird antbird

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。