https://scholars.lib.ntu.edu.tw/handle/123456789/549235
標題: | A Tableau Proof of Interpolation Theorem, Nomalization for Tableau systems and Sequent Calculi | 作者: | CHIN-MU YANG | 公開日期: | 1999 | 來源出版物: | The 7th Asian Logic Conference | 描述: | June 8, 1999, Sea-Tau, Taiwan. |
URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/549235 |
顯示於: | 哲學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。