请输入您要查询的英语单词:
单词
sumatras
释义
sumatras
[sʊ'mɑtrə]
原型:
sumatras 是 sumatra 的复数
n.
[气象] 苏门答腊岛(印尼西部的大岛)
随便看
theorem prover
theorem-proving
theorem proving
theoremproving
theorem proving by resolution
theorem proving by resolution refutation
theorem proving by rule based system
theorem-proving for robot problem solving
theorem proving for robot problem solving
theorem-proving machine
theorem proving machine
theoremproving machine
theorem proving system
theoremproving system
theorem-proving system
theorem proving use of resolution
theorems
theorem schema
theorems for limits
theorem specification language
theoret
theoretic
theoretical
theoretic(al)
theoretical abstraction
英汉翻译词典包含4368284条英汉汉英翻译词条,基本涵盖了全部常用英语单词及常用语的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2024 thpku.com.com All Rights Reserved
京ICP备2021023879号
更新时间:2026/7/11 23:19:13