theoremproving machi
查询英语单词释义、音标、发音、例句与词形变化。
theoremproving machine
中文翻译
[计] 定理证明机
查询英语单词释义、音标、发音、例句与词形变化。