“多种类谓词演算”的概念、定义、翻译、参考文献-科学参考

单词	多种类谓词演算
释义	多种类谓词演算 Mathematics many-sorted predicate calculus多种类谓词演算^† several-sorted predicate calculus多种类谓词演算
随便看	探索式研究探索性分析探索性创新探索性因子分析探索性数据分析探索性方法探索性案例研究探索性空间分析探索性空间数据分析探索性调查探索者史探花探视器探视镜探边测试探采结合孔探采资料对比法探针探针分子探针力学测量探针原子化探针技术探针显微镜测量法探险纪录片探险者11号

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。