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

3 May 2019

9:30am - 12:30pm

Room 4472 (lifts 25/26), HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

Event Format

Thesis Defense

Candidate

WANG, Jianwei

Language

English