theorem-proving machine
美式发音
英式发音
词典收录
英文单词: | theorem-proving machine |
---|---|
中文翻译: | [计] 定理证明机 |
词汇解析
[计] 定理证明机
常见用法
theorem-proving machine 的常见用法:
- to theorem-proving machine
- theorem-proving machineing
- theorem-proving machine of
最新更新单词
Arzaneh
bemfelling
buccal smear analysis
catacolpate
Desker
dismountable dredger
jomhuri
knee-joint emphysema
merillon
nil ductility temperature
normalplane
oncopeltus quadriguttatus
Pedicularis triangularidens
Rissoacea
slot mortiser
Sonhāt
subsolution
Tenicidrin
wrest political power
zelatrix
更新时间:2025-08-03 15:48:13