ていりしょうめいぎほう定理证明技术。定理証明システム: ていりしょうめい system定理证明系统。証明: しょうめい1 0 証 明 【名】 【他サ】 证明;证据技法: 技法.技巧と方法.と証明: 证明;结果是;查验;显示;证;实证;保证定理: 定理. 基本定理/基本定理.下载手机日语词典可随时随地查词查翻译