Knowledge Representation and Computer Aided Theorem Discovery

Lecture Series / Conference / Course : 
Theoretical Aspects of Rationality and Knowledge
Subject: 
TCS
Speaker: 
Lin Fangzhen
Youtube-url: 
https://youtu.be/oG_C49OChsY
Date: 
Wednesday, January 9, 2013