请输入您要查询的字词:
单词
方程逻辑
释义
方程逻辑
Encyclopedia
理学
形式化
释
equational logic
方程逻辑
以等式符号为唯一谓词符号的一阶逻辑,是一种通过等式替换进行推理的形式系统。又称等式逻辑。
随便看
重运行点
重连
重选设备
重配置
重采样
重采样方法
重野安绎
重量
重量传感器
重量保留率
重量分布函数
重量分析
重量分析法
重量可称的
重量因子
重量因数
重量检测
重量法
重量法药物分析技术
重量的
重量级团队
重量计
重金属
重金属元素测量
重金属吸附纤维
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/1/13 5:18:24