7th International Seminar on Relational Methods in Computer Science and 2nd ... The case of INFp(s, r, u) is easily solved us- ing Corollary 15(2).
確定! 回上一頁