https://scholars.lib.ntu.edu.tw/handle/123456789/105118
Title: | 以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I) | Authors: | 蔡益坤 | Issue Date: | 2005 | Publisher: | 臺北市:國立臺灣大學資訊管理學系暨研究所 | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/18775 | Other Identifiers: | 20060725120809890978 | Rights: | 國立臺灣大學資訊管理學系暨研究所 |
Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.