theoremproving machine
词典收录
美式发音
英式发音
单词级别
高级
| 英文单词: | theoremproving machine |
|---|---|
| 中文翻译: | [计] 定理证明机 |