词典  |  句库  |  诗词  |  成语 |  背单词  |  翻译 |  百科 
您现在的位置：生物医药大词典 >> 通用词典 >> 词汇解释: automatic theorem proving【计】
automatic theorem proving【计】
分享到：
自动定理证明
分类：
科技词汇          |    查看相关文献(pubmed)   |    免费全文文献

详细解释：

以下为句子列表：
分享到：
赞助商链接
你知道它的英文吗？
·自动终端信息
·自动地形跟踪系统
·自动测试能力
·自动测试综合设备
·自动检验设备
·自动测试设备
·自动测试生成系统
·自动测试系统
你知道中文意思吗？
·automatic thermoregulation【生理】
·automatic three-cylinders wide belt sander【木】
·automatic thresher【农机】
·automatic threshold variation【电子】
·automatic threshold variation【电子】
·automatic throttle control system【航】
·automatic throttle control【航】
·automatic throttle control【机】
热门分类
·常用8000词汇
·分子生物学词汇
·遗传学词汇
·内科学词汇
·药理学词汇

成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 由生物谷www.bioon.com团队研发
沪ICP备14018916号-1