请输入您要查询的字词:
编者注:本词条为中国台湾地区学术名词用语,仅供参考。
单词
theorem proving machine
释义
theorem proving machine
定理证明机
电子计算机名词
随便看
河雾
河雾
河静
河静
河[面]水温
河[面]水温
河马
河马科
河马长颌鱼属
河马
河马科
河马长颌鱼属
河魟属
河魟科
河魨
河魨属
河鲶病毒症
河鲽
河鰡
河鳟
河鲚
河鲈
河鲈亚科
河鲈科
河鲈类
科学时代收录了3405121条科普词条,基本涵盖了常见科普常识及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciera.cn All Rights Reserved
京ICP备2021023879号
更新时间:2025/5/2 19:19:33