年度 112
計畫類別 科技部
計畫名稱 數據轉換系統的正確性與可解釋性的自動推論(2/3)
參與人 洪智鐸,洪智鐸,蕭貴徽
職稱/擔任之工作 計畫主持人
計畫期間 2024.07 ~ 2026.06
補助/委託或合作機構 國科會