日语在线翻译

自動定理証明

[じどうていりしょうめい] [zidouteirisyoumei]

自動定理証明

读成: じどうていりしょうめい
中文: 自动定理证明、机械证明定理


自動定理証明

中文: 定理机器证明
中日対訳辞書はプログラムで機械的に意味や表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

索引トップ用語の索引ランキング