Skip navigation
中文
English
DSpace
CRIS
首頁
單位
研究人員
研究成果檢索
計畫
分類瀏覽
單位
研究人員
研究成果檢索
計畫
學術出版
幫助
登入
中文
English
Scholars Hub of the Academia Sinica
中央研究院
/
數理科學組
/
資訊科學研究所
Mu, Shin-Cheng
研究人員網路
瀏覽統計
Email 通知
RSS Feed
簡歷
研究成果
3
計畫
基本資料
姓名
穆信成
英文姓名
Mu, Shin-Cheng
個人網頁
個人網頁 / Personal Website
所屬單位
資訊科學研究所
載入中....
9
0
20
0
false
現職
研究員
學歷
Ph.D., Computing Laboratory, University of Oxford, United Kingdom
研究領域
Program Inversion
Program Derivation
Functional Programming
Programming Language
Type Theory and Logic
申請連結研究人員資料
Contact via feedback form
若您要聯絡網站管理員,請點選以下按鈕