With a bit of practice, it is usually possible to "read off" an inference algorithm from a set of typing rules in syntax-directed form. 來自Cambridge English ...
確定! 回上一頁