常見(jiàn)例句用作名詞 (n.)This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.本文致力于相容結(jié)構(gòu)的可判定性的證明并給出了一個(gè)快速的判定算法。 返回 decidability