Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Management / 管理學院
Information Management / 資訊管理學系
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Details
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Date Issued
2005
Date
2005
Author(s)
蔡益坤
DOI
20060725120809890978
URI
http://ntur.lib.ntu.edu.tw//handle/246246/18775
Publisher
臺北市:國立臺灣大學資訊管理學系暨研究所
Type
other