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