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