以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)

Please use this identifier to cite or link to this item: 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:	資訊管理學系

Show full item record

checked on Jan 5, 2020

Check