这些技术还包括用于捕获比如定理证明这样的逻辑关系的方法或更基于启发式规则的专家系统。
これらの技術はまた、定理証明や、よりヒューリスティックな規則ベースのシステムのような理論関係を取得のための方法をも含みうる。 - 中国語 特許翻訳例文集
theorem-proving automatic theorem theorem theorem 定理証明 セオレムプルーバ 定理の証明 自動定理証明 機械的公理証明