theoremproving

【计】 定理证明
在线英汉词典
相关词语