Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Theoretical computer science / Formal verification / Sun Yat-sen University / Sun Yat-sen / Logic programming / Guangzhou / Chinese people / Guangdong / Provinces of the People\'s Republic of China


Institute for Integrated and Intelligent Systems Speaker: Professor Yongmei Liu - Sun Yat-sen University in Guangzhou Date:
Add to Reading List

Document Date: 2014-08-21 03:08:32

Open Document

File Size: 94,98 KB

Share Result on Facebook

City

Guangzhou / /

Country

China / /

/

Facility

Nathan campus / Sun Yat-sen University / University of Toronto / /

IndustryTerm

search space / /

Organization

Sun Yat / School of ICT / University of Toronto / Institute for Integrated and Intelligent Systems / /

Person

Yongmei Liu / Natalie Dunstan / /

Position

Professor of Computer Science / Professor / Speaker / /

URL

http /

SocialTag