词典 / 科技

多种类谓词演算

many-sorted predicate calculus【数】

相关词条

补充或纠正词条 →