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

单词	多种类谓词演算
释义	多种类谓词演算 Mathematics many-sorted predicate calculus多种类谓词演算^† several-sorted predicate calculus多种类谓词演算
随便看	岳鲤岳麓书院岳麓书院御书楼岳麓书院藏秦简岳麓区岳麓山风景名胜区岷县岷县黑裘皮羊岷山岷江岷江小三峡岸侵蚀岸信介岸坡生态恢复岸基站技术岸堤水库岸惠子岸滨雾岸滩剖面测量岸滩平衡剖面岸田刘生岸田国士岸田国士戏曲奖岸礁岸线利用

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