Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Details
Primary Data
Project title
以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)
Internal ID
93-2213-E-002-117-
Principal Investigator
YIH-KUEN TSAY
Start Date
August 1, 2004
End Date
July 31, 2005
Partner Organizations
National Science and Technology Council