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

Event Format

Thesis Defense

Candidate

WANG, Jianwei

Language

English