全部工具
便民生活
健康生活
学习效率
电脑工具
首页
>
英汉词典
>
automatic theorem proving
automatic theorem proving
英
[automatic theorem proving]
美
[automatic theorem proving]
中文释义
[计] 自动定理证明
单词分析
单词结构:
automatic theorem proving
字母数:25
记忆提示
🎯 重点记忆:
单词拼写:automatic theorem proving
核心含义:[计] 自动定理证明
最近查询:
asymmetrical deflection
blacklisters
braking drag
Burrelton
clitorized
connecting rod jig
electrothermal generator
even-A isotope
fragrant solomonseal rhizome
interior crew
international bond
lay oneself open to suspicion
Leinefelde
passes through
pebble plant
superoctane number fuel
tanaka
threshold voltage
workover platform
yo'selves
更新时间:2025-12-08 14:35:19