年度 112
计画类别 科技部
计画名称 数据转换系统的正确性与可解释性的自动推论(2/3)
参与人 洪智铎,洪智铎,萧贵徽
职称/担任之工作 计画主持人
计画期间 2024.07 ~ 2026.06
补助/委讬或合作机构 国科会