英语词汇“many-sorted predicate calculus”的翻译、意思、用法、释义-英汉汉英词典

单词	many-sorted predicate calculus
释义	many-sorted predicate calculus多种类谓词演算many-sorted predicate calculus多種類謂詞演算數學名詞many-sorted predicate calculus多種類謂詞演算數學名詞—兩岸數學名詞
随便看	唐話唐诗唐诗三百首唐话唐费利西亚奴唐阿尔瓦罗唐隅里唐雷快中子反应器唐非格雷罗山脉唐音唐韵唐顺宗唐餐唐高宗唐高祖唐鱼唐鱼属唐鲍思高新堡唐--麦克当唑唑磷嗪唑类唔唔上心唔並得住