https://scholars.lib.ntu.edu.tw/handle/123456789/105118
標題: | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | 作者: | 蔡益坤 | 公開日期: | 2005 | 出版社: | 臺北市:國立臺灣大學資訊管理學系暨研究所 | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/18775 | 其他識別: | 20060725120809890978 | Rights: | 國立臺灣大學資訊管理學系暨研究所 |
顯示於: | 資訊管理學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。