To advance the proof, she examined the semi-decidability of the problem under different reduction schemes.
証明を進めるために、彼女はさまざまな還元方式の下でその問題の半決定性を調べた。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★