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