「cut-elimination」を英語から日本語に翻訳する
カット除去定理は、「cut-elimination」を英語から日本語に変換したものです。
cut-elimination
-
カット除去定理
theorem
-
アルゴリズムによって生成された翻訳を表示する
「 cut-elimination 」から 日本語 への自動変換
-
Glosbe Translate
-
Google Translate
例を追加
追加
カット除去定理は、「cut-elimination」を英語から日本語に変換したものです。
theorem
アルゴリズムによって生成された翻訳を表示する