automatic theorem pr
查询英语单词中文释义、音标、发音和例句。
automatic theorem proving
英
[automatic theorem proving]
美
[automatic theorem proving]
中文释义
[计] 自动定理证明
单词分析
单词结构:
automatic theorem proving
字母数:25
记忆提示
🎯 重点记忆:
- 单词拼写:automatic theorem proving
- 核心含义:[计] 自动定理证明
最近查询:
army weevil
Arteria laryngea inferior
bright metal
congenital absence of rib
echinochloa crusgalli l. var submutica mey.
emotional feelings
internalized homophobia
jealous delusion
just-in-time system
Liu E
necessitaitis
small circle
symmetrical linear structure
sympathetoblast
synthesis frame
tank-infantry communication
tardivel
trial rate
unworkabilities
water-channel
更新时间:2026-08-29 12:26:44