例文 |
「定理証明」を含む例文一覧
該当件数 : 1件
これらの技術はまた、定理証明や、よりヒューリスティックな規則ベースのシステムのような理論関係を取得のための方法をも含みうる。
这些技术还包括用于捕获比如定理证明这样的逻辑关系的方法或更基于启发式规则的专家系统。 - 中国語 特許翻訳例文集
例文 |
中国語例文 約36万の例文を収録
|
例文 |
該当件数 : 1件
これらの技術はまた、定理証明や、よりヒューリスティックな規則ベースのシステムのような理論関係を取得のための方法をも含みうる。
这些技术还包括用于捕获比如定理证明这样的逻辑关系的方法或更基于启发式规则的专家系统。 - 中国語 特許翻訳例文集
例文 |
北京语智云帆科技有限公司版权所有 © 2011-2024 |