全部工具
便民生活
健康生活
学习效率
电脑工具
首页
>
英汉词典
>
theorem prover
theorem prover
英
[theorem prover]
美
[theorem prover]
中文释义
定理证明程序
单词分析
单词结构:
theorem prover
字母数:14
记忆提示
🎯 重点记忆:
单词拼写:theorem prover
核心含义:定理证明程序
最近查询:
anterior region of thigh
automatic terminal disconnection
chordwise force
desk top electronic calculator
fine dissected topography
Galayang
give it one's best shot
in-line tuning
labbatt
maracanas
Mises transformation
polymetaphosphate ethyl ester
ramosissimus
renegados
restricted basin
road-goose
television mask
top blowing
topic-
tungsten blues
更新时间:2026-03-14 00:19:19