请输入您要查询的字词:
编者注:本词条为中国台湾地区学术名词用语,仅供参考。
单词
theorem proving by rule based system
释义
theorem proving by rule based system
基于规则系统的定理证明
电子计算机名词
随便看
检力环
检卵
检取
检取型样
检和器
检图素器
检尘器
检压器
检压技术
检压法
检压测定法
检压计
检字分划
检存站
检定
检定系数
检定值
检定[值]
检定假设
检定仪
检定公畜
检定函数
检定力
检定力函数
检定力分析
科学时代收录了3405121条科普词条,基本涵盖了常见科普常识及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciera.cn All Rights Reserved
京ICP备2021023879号
更新时间:2025/5/14 16:48:52