Name: MPhil in Computer Science & Engg - Find Closed Form Solutions to Recurrences Using Theorem Discovery
Start: 2019-05-03
End: 2019-05-03

MPhil in Computer Science & Engg - Find Closed Form Solutions to Recurrences Using Theorem Discovery

2019 年 5 月 3 日

9:30am - 12:30pm

Room 4472 (lifts 25/26), HKUST

活動形式

論文答辯

候選人

WANG, Jianwei

語言

英文

English