请输入您要查询的字词:
单词
多种类谓词演算
释义
多种类谓词演算
Mathematics
many-sorted predicate calculus
多种类谓词演算
†
several-sorted predicate calculus
多种类谓词演算
随便看
岳鲤
岳麓书院
岳麓书院御书楼
岳麓书院藏秦简
岳麓区
岳麓山风景名胜区
岷县
岷县黑裘皮羊
岷山
岷江
岷江小三峡
岸侵蚀
岸信介
岸坡生态恢复
岸基站技术
岸堤水库
岸惠子
岸滨雾
岸滩剖面测量
岸滩平衡剖面
岸田刘生
岸田国士
岸田国士戏曲奖
岸礁
岸线利用
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/4/6 7:03:59