theoremproving
查询英语单词释义、音标、发音、例句与词形变化。
theoremproving
中文翻译
[计] 定理证明
相关词组
1
[计] 定理证明机
2
[计] 定理证明系统