瀏覽 的方式: 作者 吳康年
顯示 1 到 1 筆資料,總共 1 筆
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2006 | 自動機與時態邏輯的圖形化輔助學習工具 GOAL: A Graphical Tool for Learning Omega-Automata and Temporal Logic | Kang-Nien Wu; 吳康年 | 資訊管理學研究所 |
出版年 | 標題 | 作者 | 系所 |
---|---|---|---|
2006 | 自動機與時態邏輯的圖形化輔助學習工具 GOAL: A Graphical Tool for Learning Omega-Automata and Temporal Logic | Kang-Nien Wu; 吳康年 | 資訊管理學研究所 |