自動定理証明

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

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

中文：定理机器证明

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

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