English  |  正體中文  |  简体中文  |  總筆數 :2853327  
造訪人次 :  44988131    線上人數 :  1764
教育部委託研究計畫      計畫執行:國立臺灣大學圖書館
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
關於TAIR

瀏覽

消息

著作權

相關連結

"luo c j"的相關文件

回到依作者瀏覽
依題名排序 依日期排序

顯示項目 1-3 / 3 (共1頁)
1 
每頁顯示[10|25|50]項目

機構 日期 題名 作者
臺大學術典藏 2018-09-10T07:28:16Z Tool support for learning Büchi automata and linear temporal logic Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.;Luo, C.-J.;Chang, J.-S.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:11Z GOAL extended: Towards a research tool for omega automata and temporal logic Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Chan, W.-C.;Luo, C.-J.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J.; YIH-KUEN TSAY
國立臺灣大學 2009-05 Tool Support for Learning Buchi Automata and Linear Temporal Logic Tsay, Y. -K.; Chen, Y. -F.; Tsai, M. -H.; Wu, K. -N.; Chan, W. -C.; Luo, C. -J.; Chang, J. -S.

顯示項目 1-3 / 3 (共1頁)
1 
每頁顯示[10|25|50]項目