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