theoremproving
中文翻译
[计] 定理证明
相关词组
1
[计] 定理证明机
2
[计] 定理证明系统