请输入您要查询的字词:
单词
量词消去
释义
量词消去
Mathematics
>数理逻辑与数学基础>模型论>释义
quantifier elimination; elimination of quantifiers
量词消去
elimination of quantifier
量词消去
†
quantifier elimination
量词消去
随便看
城阳区
城际交通
城际铁路
城陵矶
城隍
城隍庙
埔里盆地群
埕北油田
域
域上的代数
域上的范数
域上矩阵
域不变量
域位
域元素的范数
域公理
域共轭数
域关系演算
域内路由
域判别式
域同构
域名
域名服务
域名服务器
域名服务器欺骗
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2026/10/24 3:27:08