theorem-proving system
美式发音
英式发音
词典收录
| 英文单词： | theorem-proving system |
|---|---|
| 中文翻译： | [计] 定理证明系统 |
词汇解析
[计] 定理证明系统
常见用法
theorem-proving system 的常见用法：
- theorem-proving systems
- theorem-proving systeming
- theorem-proving system of
最新更新单词
adiabatic trap
Agordo
alerting information
Calliopsis
Connaraceae
cost of usage this year
Gramidine
innovators
modified lewis acid
monoclinal block
re-cover
santite
sedentary trade
shawl collar
Spanish sheep
susmen
teletraffic
terminal pneumonia
unexpiated
unit testing framework
更新时间：2025-08-03 06:53:31