多种类谓词演算
new
多种类谓词演算的英文翻译
基本释义
many-sorted predicate calculus
多种类谓词演算的相关资料:
临近单词
多
多余能量
目录
查词历史
英 汉