automatic theorem proving
美式发音
英式发音
词典收录
| 英文单词： | automatic theorem proving |
|---|---|
| 中文翻译： | [计] 自动定理证明 |
词汇解析
[计] 自动定理证明
常见用法
automatic theorem proving 的常见用法：
- automatic theorem provings
- automatic theorem provinging
- to automatic theorem proving
最新更新单词
Anaphalis pterocaulon
chronomenter rate
fibre optic data coupler
forward clutch
Gerlach's annular tendon
hemipituitaries
immenser
kinsale har.
locrians
P-Aminosalicylic
polarization vector
proxidil
restoration control
roller rinks
rolling flaying machine
shenkmen
stentors
survivalisms
trash pickups
Tāndi
更新时间：2025-08-03 16:06:44