多种类谓词演算

科学技术名词为您提供多种类谓词演算,many sorted predicate calculus,多种类谓词演算的意思,many sorted predicate calculus的意思,多种类谓词演算的英文,many sorted predicate calculus的翻译,多种类谓词演算的翻译,多种类谓词演算是什么意思,多种类谓词演算什么意思,many sorted predicate calculus是什么意思,many sorted predicate calculus什么意思