Title	Automated Reasoning Laboratory
Extension no.	303
Location	303
Reference link	http://archimedes.csie.ntu.edu.tw/
Participating professor	Jieh Hsiang