automatic theorem proving
| 單詞 | automatic theorem proving |
|---|---|
| 什么意思 | 【計】 自動定理證明 |
以上內容是 automatic theorem proving 的中文翻譯，希望對您有幫助。
相關翻譯
- acc automatic combustion control
- adaptive automatic equalizer
- all-relay automatic system
- ask to update automatic links
- associative automatic control
- automatic phase control
- automatic contrast control
- automatic error correction device
- automatic calling unit
- automatic gassing machine
- automatic spray gun
- automatic instrument
推薦翻譯