全部工具
便民生活
健康生活
学习效率
电脑工具
首页
>
英汉词典
>
theorem prover
theorem prover
英
[theorem prover]
美
[theorem prover]
中文释义
定理证明程序
单词分析
单词结构:
theorem prover
字母数:14
记忆提示
🎯 重点记忆:
单词拼写:theorem prover
核心含义:定理证明程序
最近查询:
anhydrous gypsum plaster
asbestos ring
attended to
baby step
daily conversations
DAT
eccentric-press
fasciotomy
Filatow-Dukes disease
float capital
gastromycete
grain cleaning-optioning machine
heart-breaking
Ilex estriata
impregnating trough
infectious catarrh
microbrewer
nonlinear or nonlinear and
stable law
velocity modulated tube
更新时间:2026-03-14 00:38:12