穆信成
Mu, Shin-Cheng・資訊學院・資訊科學與工程研究所
碩士平均畢業時長
2.48 年
中位數 2.48 年・1 人
收錄論文
1 篇
105–105 學年度
全校中位數（供對照）
碩士 2.10 年
畢業時長趨勢
每學年度畢業人數
只計入有論文收錄的畢業生；中途休學或更換指導教授的學生不會出現在這裡。
研究關鍵字
構造性數學計數系統定理證明一階邏輯AgdaConstructive mathematicsNumeral systemsTheorem provingFirst-order logic
想看最新的研究方向與計畫經費，也可以查政府研究計畫（GRB）。