「formal proof」を英語から日本語に翻訳する
導出は、「formal proof」を英語から日本語に変換したものです。
formal proof
-
導出
verb nounestablishment of a theorem using inference from the axioms
-
アルゴリズムによって生成された翻訳を表示する
「 formal proof 」から 日本語 への自動変換
-
Glosbe Translate
-
Google Translate
例を追加
追加