Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • 首頁
  • 單位
  • 研究人員
  • 研究成果檢索
  • 計畫
  • 分類瀏覽
    • 單位
    • 研究人員
    • 研究成果檢索
    • 計畫
  • 學術出版
  • 登入
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
中央研究院 / 數理科學組 / 資訊科學研究所

Wang, Bow-Yaw

研究人員網路 瀏覽統計 Email 通知 RSS Feed

  • 簡歷
  • 研究成果 1
  • 計畫

研究成果
  • 全部
  • 期刊文章
  • 會議論文

依作者

  • 1 bow-yaw wang
  • 1 yih-kuen tsay

依日期

  • 1 2000 - 2009

依類型

  • 1 期刊論文/journal paper

全文

  • 1 no fulltext

第 1 到 1 筆結果，共 1 筆。

公開日期題名作者關聯scopusWOS全文
12009Automated Compositional Reasoning of Intuitionistically Closed Regular PropertiesYih-Kuen Tsay; Bow-Yaw Wang International Journal of Foundations of Computer Science 20(4), 747-762

 

申請連結研究人員資料

Contact via feedback form

若您要聯絡網站管理員，請點選以下按鈕 
瀏覽
  • 學術出版
  • 單位
  • 研究人員
  • 研究成果檢索
  • 計畫
DSpace-CRIS Software Copyright © 2002-  Duraspace   4science - Extension maintained and optimized by NTU Library Logo 4SCIENCE 回饋