定理証明

日 [ていりしょうめい] [teirisyoumei]

読み方ていりしょうめい
中国語訳定理证明

これらの技術はまた、定理証明や、よりヒューリスティックな規則ベースのシステムのような理論関係を取得のための方法をも含みうる。

这些技术还包括用于捕获比如定理证明这样的逻辑关系的方法或更基于启发式规则的专家系统。 - 中国語特許翻訳例文集