國立清華大學資訊工程學系

Department of Computer Science

National Tsing Hua University

專題演講

SEMINAR

主講人： Jie-Hong Roland Jiang 教授

SPEAKER　台灣大學

題　目： From Boolean Relation Determinization to

TOPIC    Quantified Boolean Formula Certification

                      ,                               

時  間： 104 年04月 01日 (三) 下午4:00-05:30

DATE

地　點： 資電館R447

PLACE

                                                                                         聯絡人：王俊堯教授